diff options
| -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; |