diff options
| author | anthraxx <levente@leventepolyak.net> | 2015-11-12 19:49:51 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-11-12 19:52:10 +0100 |
| commit | 2b5e8f34e5791d70ab89479f9fd035aa53bc561b (patch) | |
| tree | 6b32f3dc443e86c8c9f3bd90e257c6e46b095ec1 | |
| parent | b859333ade7ffa522259f9e1e8820a5e79c2db09 (diff) | |
| download | jenkins.debian.net-2b5e8f34e5791d70ab89479f9fd035aa53bc561b.tar.xz | |
awesome Arch Linux reproducible html style \o/
- this also adds some (hopefully non-intrusive) styling possibilities
to the footer
| -rwxr-xr-x | bin/reproducible_common.sh | 4 | ||||
| -rwxr-xr-x | bin/reproducible_html_archlinux.sh | 9 | ||||
| -rw-r--r-- | userContent/reproducible/archlinux/archlogo.4fefb38dc270.png | bin | 0 -> 4192 bytes | |||
| -rw-r--r-- | userContent/reproducible/archlinux/global.css | 78 |
4 files changed, 85 insertions, 6 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 9042fc88..922a14ac 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -308,7 +308,7 @@ write_page_intro() { } write_page_footer() { - write_page "<hr/><p style=\"font-size:0.9em;\">There is more information <a href=\"$JENKINS_URL/userContent/about.html\">about jenkins.debian.net</a> and about <a href=\"https://wiki.debian.org/ReproducibleBuilds\"> reproducible builds of Debian</a> available elsewhere. Last update: $(date +'%Y-%m-%d %H:%M %Z'). Copyright 2014-2015 <a href=\"mailto:holger@layer-acht.org\">Holger Levsen</a> and others, <a href=\"http://anonscm.debian.org/cgit/qa/jenkins.debian.net.git/\">jenkins.debian.net.git</a> is mostly GPL2 licensed. The weather icons are public domain and have been taken from the <a href="http://tango.freedesktop.org/Tango_Icon_Library" target="_blank">Tango Icon Library</a>." + write_page "<hr id=\"footer_separator\" /><p style=\"font-size:0.9em;\"><div id=\"page_footer\">There is more information <a href=\"$JENKINS_URL/userContent/about.html\">about jenkins.debian.net</a> and about <a href=\"https://wiki.debian.org/ReproducibleBuilds\"> reproducible builds of Debian</a> available elsewhere. Last update: $(date +'%Y-%m-%d %H:%M %Z'). Copyright 2014-2015 <a href=\"mailto:holger@layer-acht.org\">Holger Levsen</a> and others, <a href=\"http://anonscm.debian.org/cgit/qa/jenkins.debian.net.git/\">jenkins.debian.net.git</a> is mostly GPL2 licensed. The weather icons are public domain and have been taken from the <a href="http://tango.freedesktop.org/Tango_Icon_Library" target="_blank">Tango Icon Library</a>." if [ "$1" = "coreboot" ] ; then write_page "The <a href=\"http://www.coreboot.org\">Coreboot</a> logo is Copyright © 2008 by Konsult Stuge and coresystems GmbH and can be freely used to refer to the Coreboot project." elif [ "$1" = "NetBSD" ] ; then @@ -318,7 +318,7 @@ write_page_footer() { elif [ "$1" = "Arch Linux" ] ; then write_page "The <a href=\"https://www.archlinux.org\">Arch Linux</a> name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis." fi - write_page "</p></body></html>" + write_page "</div></p></body></html>" } write_page_meta_sign() { diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index dd29ba73..94015cbc 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -22,14 +22,15 @@ cat > $PAGE <<- EOF <html lang="en-US"> <head> <meta charset="UTF-8"> - <title>Repoducible Arch Linux ?</title> - <link rel='stylesheet' href='/freebsd/global.css' type='text/css' media='all' /> + <title>Repoducible Arch Linux ?!</title> + <link rel='stylesheet' href='global.css' type='text/css' media='all' /> </head> <body> - <div id="logo"> - <h1>Reproducible Arch Linux?</h1> + <div id="archnavbar"> + <div id="logo"></div> </div> <div class="content"> + <h1>Reproducible Arch Linux?!</h1> <div class="page-content"> EOF diff --git a/userContent/reproducible/archlinux/archlogo.4fefb38dc270.png b/userContent/reproducible/archlinux/archlogo.4fefb38dc270.png Binary files differnew file mode 100644 index 00000000..e873e94b --- /dev/null +++ b/userContent/reproducible/archlinux/archlogo.4fefb38dc270.png diff --git a/userContent/reproducible/archlinux/global.css b/userContent/reproducible/archlinux/global.css new file mode 100644 index 00000000..d6dec301 --- /dev/null +++ b/userContent/reproducible/archlinux/global.css @@ -0,0 +1,78 @@ +body { + background: #f6f9fc none repeat scroll 0 0; + color: #222; + font: 100% sans-serif; + line-height: 1.3em; + min-width: 650px; + margin: 0; + padding: 0; +} + +.content { + margin: 0 auto; + text-align: left; + width: 95%; + font-size: 0.90em; +} + +#archnavbar { + background: #333 none repeat scroll 0 0 !important; + border-bottom: 5px solid #08c !important; + height: 40px !important; + padding: 10px 15px !important; +} + +#logo { + background: rgba(0, 0, 0, 0) url("archlogo.4fefb38dc270.png") no-repeat scroll 0 0 !important; + float: left !important; + height: 40px !important; + margin: 0 !important; + padding: 0 !important; + width: 190px !important; +} + +#page_footer { + font-size: 0.7em; + margin: 0 auto; + text-align: center; + width: 95%; +} + +#footer_separator { + border-top: 1px dotted #bbb; + margin: 10px 1%; +} + +a { + text-decoration: none; +} + +a:link, a:visited { + color: #07b; +} + +a:hover, a:visited:hover { + text-decoration: underline; +} + +table { + background: #ecf2f5 none repeat scroll 0 0; + border: 1px solid #bcd; + margin-bottom: 1.5em; + padding: 0.65em; + width: 100%; + font-size: 0.80em; + border-collapse: collapse; +} + +table tr td { + border-top: 1px dotted #bcd; +} + +table tr td, table th { + padding: 0.15em 0.75em; +} + +#variation th:first-child { + width: 23%; +} |
