diff options
author | Alex Legler <alex@a3li.li> | 2011-03-30 00:17:26 +0200 |
---|---|---|
committer | Christian Ruppert <idl0r@gentoo.org> | 2011-03-30 00:24:30 +0200 |
commit | 7336ad1adb73ef90a8a12401fd241075777a9fae (patch) | |
tree | 2d185fc582eec3c4469333bd569d0d1e5ab4255b /htdocs | |
parent | Add link for invalid p.mask checker. (diff) | |
download | qa-scripts-7336ad1adb73ef90a8a12401fd241075777a9fae.tar.gz qa-scripts-7336ad1adb73ef90a8a12401fd241075777a9fae.tar.bz2 qa-scripts-7336ad1adb73ef90a8a12401fd241075777a9fae.zip |
Next time you steal something, take everything.
aka adding CSS to make the header bar not look crappy
Diffstat (limited to 'htdocs')
-rw-r--r-- | htdocs/gentoo-header-bar-bg.png | bin | 0 -> 210 bytes | |||
-rw-r--r-- | htdocs/index.html | 2 | ||||
-rw-r--r-- | htdocs/screen.css | 43 |
3 files changed, 44 insertions, 1 deletions
diff --git a/htdocs/gentoo-header-bar-bg.png b/htdocs/gentoo-header-bar-bg.png Binary files differnew file mode 100644 index 0000000..9e7b3c2 --- /dev/null +++ b/htdocs/gentoo-header-bar-bg.png diff --git a/htdocs/index.html b/htdocs/index.html index 15f7367..f2ffde2 100644 --- a/htdocs/index.html +++ b/htdocs/index.html @@ -8,7 +8,7 @@ <meta name="copyright" content="Gentoo Foundation 2011" /> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> <meta http-equiv="content-type" content="application/xhtml+xml; charset=UTF-8" /> - <link href="style.css" type="text/css" rel="stylesheet" /> + <link href="screen.css" type="text/css" rel="stylesheet" /> </head> <body> <!-- gentoo header, stolen from bugzilla --> diff --git a/htdocs/screen.css b/htdocs/screen.css new file mode 100644 index 0000000..bb2e3b5 --- /dev/null +++ b/htdocs/screen.css @@ -0,0 +1,43 @@ +/* Gentoo bar */ +body { + margin: 1em; +} + +div#gentoo-bar { + background: url(gentoo-header-bar-bg.png) repeat-x; + margin-bottom: 2em; + margin-top: -1em; + margin-left: -1em; + margin-right: -1em; +} + +div#gentoo-bar img { + border: none !important; +} + +div#gentoo-bar div { + padding: .25em; +} + +div#gentoo-bar a.home-link { + margin-right: .5em; + float: left; +} + +div#gentoo-bar div a { + text-decoration: none; + padding: .25em; + padding-left: .5em; + padding-right: .5em; + color: #231A3F; +} + +div#gentoo-bar div a:hover { + background-color: #A898DD; + color: #45347B; +} + +div#gentoo-bar div a.active { + background-color: white; + font-weight: bold; +} |