diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-09 17:47:11 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-09 19:02:58 +0200 |
commit | 836211a869e7c99be518f1204eb3a73b70257208 (patch) | |
tree | f5b467c97c98c579cc2fb5025d7960b123ce4f47 | |
parent | b516de2c1b9f3a9bdb5adb434f0714b788fc68f4 (diff) | |
download | jenkins.debian.net-836211a869e7c99be518f1204eb3a73b70257208.tar.xz |
reproducible: improve CSS
-rwxr-xr-x | bin/reproducible_stats.sh | 2 | ||||
-rw-r--r-- | userContent/static/style.css | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 46ddbf94..8916efac 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -303,7 +303,7 @@ init_navi_frame() { echo "<link href=\"../static/style.css\" type=\"text/css\" rel=\"stylesheet\" /></head>" >> $NAVI echo "<body><table><tr><td><font size=+1>$1</font> $2" >> $NAVI set_icon $3 $5 - echo "<a href=\"$JENKINS_URL/userContent/index_${STATE_TARGET_NAME}.html\" target=\"_parent\"><img src=\"../static/$ICON\" /> $3</a>" >> $NAVI + echo "<a href=\"$JENKINS_URL/userContent/index_${STATE_TARGET_NAME}.html\" target=\"_parent\"><img src=\"../static/$ICON\" /></a>" >> $NAVI echo "<font size=-1>at $4:</font> " >> $NAVI } diff --git a/userContent/static/style.css b/userContent/static/style.css index 900ad7a4..b9a471ac 100644 --- a/userContent/static/style.css +++ b/userContent/static/style.css @@ -18,6 +18,10 @@ pre { overflow: auto; } +img { + vertical-align: middle; +} + a { color:#0088cc; text-decoration:none; @@ -55,7 +59,7 @@ ul li a { margin: 0 0.5em 0.2em 0; border-radius: 0.5em; padding: 0.15em 0.5em; - display: block; + line-height: 2.1em; } nav ul li { @@ -79,7 +83,7 @@ h1 { h2 { font-size : 110%; background: #d70a53; - margin: 1em 0 0; + margin: 0.25em 0 0; padding: 0.5em; color: #fff; border-top-left-radius: 0.5em; |