Gentoo Archives: gentoo-commits

From: Christian Ruppert <idl0r@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/qa-scripts:master commit in: htdocs/
Date: Tue, 29 Mar 2011 22:25:00
Message-Id: 7336ad1adb73ef90a8a12401fd241075777a9fae.idl0r@gentoo
1 commit: 7336ad1adb73ef90a8a12401fd241075777a9fae
2 Author: Alex Legler <alex <AT> a3li <DOT> li>
3 AuthorDate: Tue Mar 29 22:17:26 2011 +0000
4 Commit: Christian Ruppert <idl0r <AT> gentoo <DOT> org>
5 CommitDate: Tue Mar 29 22:24:30 2011 +0000
6 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/qa-scripts.git;a=commit;h=7336ad1a
7
8 Next time you steal something, take everything.
9
10 aka adding CSS to make the header bar not look crappy
11
12 ---
13 htdocs/gentoo-header-bar-bg.png | Bin 0 -> 210 bytes
14 htdocs/index.html | 2 +-
15 htdocs/screen.css | 43 +++++++++++++++++++++++++++++++++++++++
16 3 files changed, 44 insertions(+), 1 deletions(-)
17
18 diff --git a/htdocs/gentoo-header-bar-bg.png b/htdocs/gentoo-header-bar-bg.png
19 new file mode 100644
20 index 0000000..9e7b3c2
21 Binary files /dev/null and b/htdocs/gentoo-header-bar-bg.png differ
22
23 diff --git a/htdocs/index.html b/htdocs/index.html
24 index 15f7367..f2ffde2 100644
25 --- a/htdocs/index.html
26 +++ b/htdocs/index.html
27 @@ -8,7 +8,7 @@
28 <meta name="copyright" content="Gentoo Foundation 2011" />
29 <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
30 <meta http-equiv="content-type" content="application/xhtml+xml; charset=UTF-8" />
31 - <link href="style.css" type="text/css" rel="stylesheet" />
32 + <link href="screen.css" type="text/css" rel="stylesheet" />
33 </head>
34 <body>
35 <!-- gentoo header, stolen from bugzilla -->
36
37 diff --git a/htdocs/screen.css b/htdocs/screen.css
38 new file mode 100644
39 index 0000000..bb2e3b5
40 --- /dev/null
41 +++ b/htdocs/screen.css
42 @@ -0,0 +1,43 @@
43 +/* Gentoo bar */
44 +body {
45 + margin: 1em;
46 +}
47 +
48 +div#gentoo-bar {
49 + background: url(gentoo-header-bar-bg.png) repeat-x;
50 + margin-bottom: 2em;
51 + margin-top: -1em;
52 + margin-left: -1em;
53 + margin-right: -1em;
54 +}
55 +
56 +div#gentoo-bar img {
57 + border: none !important;
58 +}
59 +
60 +div#gentoo-bar div {
61 + padding: .25em;
62 +}
63 +
64 +div#gentoo-bar a.home-link {
65 + margin-right: .5em;
66 + float: left;
67 +}
68 +
69 +div#gentoo-bar div a {
70 + text-decoration: none;
71 + padding: .25em;
72 + padding-left: .5em;
73 + padding-right: .5em;
74 + color: #231A3F;
75 +}
76 +
77 +div#gentoo-bar div a:hover {
78 + background-color: #A898DD;
79 + color: #45347B;
80 +}
81 +
82 +div#gentoo-bar div a.active {
83 + background-color: white;
84 + font-weight: bold;
85 +}