diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-27 21:38:17 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-27 21:38:17 +0200 |
| commit | ea34ac2b72fc2cc0ab72dd9921f5009cfef73a68 (patch) | |
| tree | d57fdba720b1cd93026bd27e663081b22bba95d3 | |
| parent | acfc1ce9e3161f12672be7b9fb719bb9da6b4c0e (diff) | |
| download | jenkins.debian.net-ea34ac2b72fc2cc0ab72dd9921f5009cfef73a68.tar.xz | |
reproducible freebsd: minor layout improvements
| -rwxr-xr-x | bin/reproducible_freebsd.sh | 4 | ||||
| -rw-r--r-- | userContent/reproducible/freebsd/global.css | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_freebsd.sh b/bin/reproducible_freebsd.sh index e6a08446..adee5d8d 100755 --- a/bin/reproducible_freebsd.sh +++ b/bin/reproducible_freebsd.sh @@ -173,7 +173,7 @@ cat > $PAGE <<- EOF </head> <body> <div id="logo"> - <img src="FreeBSD-smaller.png" /> + <img src="320px-Freebsd_logo.svg.png" /> <h1>Reproducible FreeBSD $MAGIC_SIGN</h1> </div> <div class="content"> @@ -186,7 +186,7 @@ if [ "$GOOD_PERCENT" = "100.0" ] ; then else write_page "." fi -write_page " These tests were last run on $DATE for version ${FREEBSD_VERSION} using ${DIFFOSCOPE}. <em>It is also very much work in progress...</em></p>" +write_page " These tests were last run on $DATE for version ${FREEBSD_VERSION} using ${DIFFOSCOPE}. <em>This is very much work in progress, especially the build targets should be choosen better...</em></p>" write_explaination_table FreeBSD cat $FILES_HTML >> $PAGE write_page " <p><pre>" diff --git a/userContent/reproducible/freebsd/global.css b/userContent/reproducible/freebsd/global.css index 4cc19217..673c5726 100644 --- a/userContent/reproducible/freebsd/global.css +++ b/userContent/reproducible/freebsd/global.css @@ -42,7 +42,7 @@ a:visited:hover { #logo img { margin: -15px 20px 0 0; - float: left; + float: right; height: 90px; } |