diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-07 17:33:21 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-07 17:33:21 +0200 |
commit | 8e41c5b7bbfb1da807253da98ee02a4db9782bad (patch) | |
tree | b61d9ba69f77140c85af7326373e297d4cb809d9 | |
parent | ca8dbac484ef2cd34d0b5fa94d49a915badac30a (diff) | |
download | jenkins.debian.net-8e41c5b7bbfb1da807253da98ee02a4db9782bad.tar.xz |
reproducible: improve CSS
-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) { |