diff options
| -rwxr-xr-x | bin/reproducible_stats.sh | 4 | ||||
| -rw-r--r-- | userContent/static/style.css | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index a8bc23eb..7e8812b0 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -62,7 +62,7 @@ EOF init_navi_frame() { echo "<!DOCTYPE html><html><head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />" > $NAVI echo "<link href=\"../static/style.css\" type=\"text/css\" rel=\"stylesheet\" /></head>" >> $NAVI - echo "<body><table><tr><td align=\"left\"><font size=+1>$1</font> " >> $NAVI + echo "<body><table><tr><td><font size=+1>$1</font> " >> $NAVI echo "($2) " >> $NAVI echo "<font size=-1>at $3:</font> " >> $NAVI } @@ -72,7 +72,7 @@ append2navi_frame() { } finish_navi_frame() { - echo "</td><td align=\"right\"><a href=\"$JENKINS_URL/userContent/reproducible.html\">stats for reproducible builds</a></td></tr></table></body></html>" >> $NAVI + echo "</td><td style=\"text-align:right\"><a href=\"$JENKINS_URL/userContent/reproducible.html\" target=\"_parent\">stats for reproducible builds</a></td></tr></table></body></html>" >> $NAVI } link_packages() { diff --git a/userContent/static/style.css b/userContent/static/style.css index a931ed3d..d1f2f060 100644 --- a/userContent/static/style.css +++ b/userContent/static/style.css @@ -6,11 +6,12 @@ html { body { width: 99%; - margin: 1em auto; font-family: "Helvetica Neue",Helvetica,Arial,sans-serif; font-size: 14px; line-height: 20px; color: #333333; + padding: 0.25em 0.5em; + margin: 0.25em 0.25em 0em 0.25em; } pre { @@ -29,7 +30,6 @@ a:hover, a:focus { header { border-bottom: 1px solid #d70a53; - margin-bottom: 1em; } footer { @@ -96,7 +96,7 @@ table { border-radius: 0.5em; border-collapse: collapse; box-shadow: 0 1px 3px #eee; - margin-bottom: 1em; + padding: 0 } tr:nth-child(odd) { |