1 body {
2 background-color: white;
3 color: black;
4 margin: 30px;
5 padding: 0px;
6 font-family: sans-serif;
7 line-height: 1.5em;
8 }
9 /* hide old stuff */
10 .legacy {
11 display: none
12 }
14 /**************************
15 * layout
16 **************************/
17 table#frame {
18 width: 100%;
19 border-collapse: collapse;
20 background-color: #1a1a1a;
21 }
23 table#frame td {
24 vertical-align: top;
25 margin: 0px;
26 padding: 0px;
27 }
30 /**************************
31 * body
32 **************************/
33 div#body {
34 color: white;
35 margin: 40px;
36 margin-top: 80px;
37 }
39 div#body h1 {
40 color: #717fe5;
41 margin-top: 0px;
42 margin-bottom: 0.5em;
43 padding-bottom: 0.1em;
44 line-height: 1em;
45 font-size: 220%;
46 border-bottom-style: solid;
47 border-bottom-width: 4px;
48 border-bottom-color: #404040;
49 }
51 div#body h2 {
52 color: white;
53 margin-top: 0.6em;
54 margin-bottom: 0.1em;
55 }
58 div#body a {
59 color: #4a71e4;
60 }
62 div#body a[name] {
63 color: white;
64 }
66 div#body a:hover {
67 color: #7b9dff;
68 }
70 div#body h2 a,
71 div#body h3 a,
72 div#body h4 a,
73 div#body h5 a {
74 color: white;
75 }
77 div#body dl dd {
78 margin-left: 1.5em;
79 }
81 div#body dl dt {
82 padding-top: 1em;
83 font-weight: bold;
84 }
86 div#body dl dt a {
87 text-decoration: none;
88 }
90 div#body dl p {
91 margin-bottom: 0.2em;
92 margin-top: 0.2em;
93 }
95 div#body pre {
96 border-style: solid;
97 border-color: #bfbfbf;
98 border-width: 1px;
99 background-color: #606060;
100 padding: 1em;
101 }
103 div#body pre a{
104 color: white;
105 }
107 /**************************
108 * footer
109 **************************/
110 table#frame td#footcell {
111 }
113 div#address {
114 float: right;
115 margin: 30px;
116 }
118 div#address small {
119 color: #b0b0b0;
120 font-size: 90%;
121 }
123 div#address a {
124 color: #b0b0b0;
125 text-decoration: none;
126 }
128 /**************************
129 * logo
130 **************************/
132 div#logo {
133 position: absolute;
134 height: 62px;
135 width: 187px;
136 right: 80px;
137 top: 60px;
138 background-image: url("rrdtool-theme.png");
139 }
141 /**************************
142 * rrdworld
143 **************************/
145 div.rrdworld h3 {
146 background: #202050;
147 margin-top: 0.1em;
148 margin-bottom: 0.3em;
149 padding: 3px;
150 }
152 div.rrdworld {
153 border-style: solid;
154 border-color: #bfbfbf;
155 border-width: 1px;
156 background-color: #404040;
157 padding: 1em;
158 margin-top: 0.5em;
159 margin-bottom: 1em;
160 }
163 /**************************
164 * mirrors
165 **************************/
167 div#mirrors {
168 padding: 3px;
169 padding-left: 40px;
170 font-size: 10px;
171 }
173 div#mirrors,
174 div#mirrors a {
175 color: #606060;
176 }
179 /**************************
180 * menu
181 **************************/
182 table#frame td#leftcornercell,
183 table#frame td#menucell {
184 width: 10%;
185 background-color: #606060;
186 }
188 div#menu {
189 font-weight: normal;
190 color: white;
191 margin-top: 20px;
192 margin-left: 20px;
193 margin-right: 20px;
194 font-size: 14px;
195 width: 120px;
196 line-height: 1em;
197 }
199 div#menu li {
200 margin-top: 0.7em;
201 margin-bottom: 0.7em;
202 }
204 div#menu li li {
205 margin-top: 0.5em;
206 margin-bottom: 0.5em;
207 }
209 div#menu a {
210 color: black;
211 text-decoration: none;
212 }
214 div#menu ul ul a {
215 color: black;
216 text-decoration: none;
217 }
219 div#menu ul {
220 list-style: none;
221 margin-left: 0px;
222 padding-left: 0px;
223 }
225 div#menu ul ul {
226 padding-left: 10px;
227 font-size: 12px;
228 }
230 div#menu ul a,
231 div#menu ul div.selected {
232 padding-left: 0px;
233 }
235 div#menu ul ul ul li {
236 padding-left: 1em;
237 }
239 div#menu a:hover {
240 color: #a6a4f5;
241 }
243 div#menu a:active {
244 color: #7b7aba;
245 }
247 div#menu li div.selected {
248 color: white;
249 font-weight: bold;
250 }