4 font-family: Verdana, Arial, Helvetica, sans-serif;
10 border-top: 5px solid #DECD40;
11 border-bottom: 1px solid #AF9D00;
12 background: url(logo-head.png) top left no-repeat;
13 background-color: #EDE497;
18 padding: 6px 0 0 42px;
20 background-color: #DECD40;
21 border-bottom: 1px solid #AF9D00;
30 margin: 0 10px 0 100px;
31 padding: 4px 0 0 42px;
34 background-color: #EDE497;
47 display: inline; /* für IE ... */
55 list-style-type: none;
59 border-right: 1px solid #726921;
63 #head li:first-child {
74 background-color: inherit;
75 text-decoration: underline;
79 margin: 0 10px 0 100px;
89 /* margin/padding/color/background-color/border: mostly IE6/IE7 fixes */
93 background-color: #DECD40;
94 border-bottom: 1px solid #AF9D00;
100 border: 1px solid #AF9D00;
110 padding: 0 10px 10px 0;
111 border-bottom: 1px solid #AF9D00;
115 /* need non-zero top padding here to prevent margin propagation */
116 padding: 10px 0 0 142px;
122 text-decoration: none;
135 background-color: white !important;
139 display: inline; /* IE double margin fix */
142 background-color: #FDF7C3;
143 border: 1px solid #AF9D00;
144 margin: 0 0 10px -132px;
150 margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
156 list-style-type: none;
168 text-decoration: none;
173 div.tabs ul li a:visited, div.tabs ul li a:active {
175 text-decoration: none;
178 div.tabs li.current a {
179 background-position: 100% -150px;
183 div.tabs li.current span {
184 background-position: 0% -150px;
188 div.tabs ul li a:hover, div.tabs ul li.current a {
190 text-decoration: none;
191 background-color: #EDE497;
196 padding: 4px 10px 4px 142px;
207 #footer a, #footer a:active, #footer a:visited {
209 text-decoration: none;
213 background-color: inherit;
214 text-decoration: underline;
218 border: 1px solid #AADD88;
219 background-color: #EEFFDD;
224 border: 1px solid #DDAA88;
225 background-color: #FFEEDD;
230 border: 1px solid A0C2C2;
231 background-color: #F0F8F8;
238 border: 1px solid #AAAAAA;
244 border: 2px solid white;
245 background-color: #EEEEEE;
251 background-color: #DDDDDD;
256 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
257 border: 1px solid #CC8888;
259 margin: 4px 8px 4px 2px;
260 background-color: #FFEEEE;
266 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
267 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
273 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
278 border-color: #CCCC88;
279 background-color: #FFFFEE;
283 border-color: #88CC88;
284 background-color: #EEFFEE;
288 border-color: #CCCCCC;
289 background-color: #F8F8F8;
292 div.bug, div.fixme, div.todo, div.idea {
297 border-left: 10px solid red;
301 border-left: 10px solid yellow;
305 border-left: 10px solid green;
309 border-left: 10px solid #AAAAAA;
322 background-color: white;
324 border-bottom: 1px solid #AF9D00;
331 background-color: #e8eef2;
332 border: 1px solid #84b0c7;
339 dl.parameters dd table {
349 table.glossary tr td {
351 border-bottom: 4px solid white;
354 background-color: #F0F0F0;
357 table.glossary tr td:first-child {
363 table.members td:first-child {
369 * indent-tabs-mode: nil
370 * ispell-local-dictionary: "american"