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 background-color: #DECD40;
19 border-bottom: 1px solid #AF9D00;
40 margin: 0 10px 0 100px;
41 padding: 4px 0 0 42px;
44 background-color: #EDE497;
57 display: inline; /* f�r IE ... */
65 list-style-type: none;
69 border-right: 1px solid #726921;
73 #head li:first-child {
84 background-color: #EDE497;
85 text-decoration: underline;
99 border: 1px solid #AF9D00;
109 padding: 0 10px 10px 0;
110 border-bottom: 1px solid #AF9D00;
114 /* need non-zero top padding here to prevent margin propagation */
115 padding: 10px 0 0 142px;
121 text-decoration: none;
134 background-color: white !important;
138 display: inline; /* IE double margin fix */
141 background-color: #FDF7C3;
142 border: 1px solid #AF9D00;
143 margin: 0 0 10px -132px;
149 margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
155 list-style-type: none;
167 text-decoration: none;
172 div.tabs ul li a:visited, div.tabs ul li a:active {
174 text-decoration: none;
177 div.tabs li.current a {
178 background-position: 100% -150px;
182 div.tabs li.current span {
183 background-position: 0% -150px;
187 div.tabs ul li a:hover, div.tabs ul li.current a {
189 text-decoration: none;
190 background-color: #EDE497;
193 div.tabs ul li.level1 a {
200 padding: 4px 10px 4px 142px;
211 #footer a, #footer a:active, #footer a:visited {
213 text-decoration: none;
217 background-color: inherit;
218 text-decoration: underline;
222 border: 1px solid #AADD88;
223 background-color: #EEFFDD;
228 border: 1px solid #DDAA88;
229 background-color: #FFEEDD;
234 border: 1px solid A0C2C2;
235 background-color: #F0F8F8;
242 border: 1px solid #AAAAAA;
251 border: 2px solid white;
252 background-color: #EEEEEE;
257 background-color: white;
266 border: 1px solid #AAAAAA;
272 border: 2px solid white;
273 background-color: #EEEEEE;
280 background-color: #DDDDDD;
290 font-size: 120%; /* ???????? Why is THIS needed ?? */
299 table.ebnf td:first-child {
310 font-size: 120%; /* ???????? Why is THIS needed ?? */
320 table.listing td:first-child {
324 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
325 border: 1px solid #CC8888;
327 margin: 4px 8px 4px 2px;
328 background-color: #FFEEEE;
334 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
335 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
341 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
346 border-color: #CCCC88;
347 background-color: #FFFFEE;
351 border-color: #88CC88;
352 background-color: #EEFFEE;
356 border-color: #CCCCCC;
357 background-color: #F8F8F8;
360 div.bug, div.fixme, div.todo, div.idea {
365 border-left: 10px solid red;
369 border-left: 10px solid yellow;
373 border-left: 10px solid green;
377 border-left: 10px solid #AAAAAA;
389 border-bottom: 1px solid #84b0c7;
392 p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
400 div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
420 background-color: white;
422 border-bottom: 1px solid #AF9D00;
429 background-color: #e8eef2;
430 border: 1px solid #84b0c7;
437 dl.parameters dd table {
447 table.glossary tr td {
449 border-bottom: 4px solid white;
452 background-color: #F0F0F0;
455 table.glossary tr td:first-child {
461 table.members td:first-child {
472 margin: 0pt 0pt 0pt 40px;
473 list-style-type: decimal;
488 * indent-tabs-mode: nil
489 * ispell-local-dictionary: "american"