4 font-family: Verdana, Arial, Helvetica, sans-serif;
8 /* Argh .. doxygen.css has font-size:90% for td ... */
15 border-top: 5px solid #DECD40;
16 border-bottom: 1px solid #AF9D00;
17 background: url(logo-head.png) top left no-repeat;
18 background-color: #EDE497;
23 background-color: #DECD40;
24 border-bottom: 1px solid #AF9D00;
45 margin: 0 10px 0 100px;
46 padding: 4px 0 0 42px;
49 background-color: #EDE497;
62 display: inline; /* fuer IE ... */
70 list-style-type: none;
74 border-left: 1px solid #726921;
78 #head li:first-child {
89 background-color: #EDE497;
90 text-decoration: underline;
104 border: 1px solid #AF9D00;
114 padding: 0 10px 10px 0;
115 border-bottom: 1px solid #AF9D00;
119 /* need non-zero top padding here to prevent margin propagation */
120 padding: 10px 0 0 142px;
126 text-decoration: none;
139 background-color: white !important;
143 display: inline; /* IE double margin fix */
146 background-color: #FDF7C3;
147 border: 1px solid #AF9D00;
148 margin: 0 0 10px -132px;
154 margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
160 list-style-type: none;
172 text-decoration: none;
177 div.tabs ul li a:visited, div.tabs ul li a:active {
179 text-decoration: none;
182 div.tabs li.current a {
183 background-position: 100% -150px;
187 div.tabs li.current span {
188 background-position: 0% -150px;
192 div.tabs ul li a:hover, div.tabs ul li.current a, div.tabs ul.glossary li a:hover {
194 text-decoration: none;
195 background-color: #EDE497;
198 div.tabs ul li.level1 a {
203 div.tabs ul.glossary li a {
204 background-color: #FDF7C3;
207 div.tabs ul.glossary li.glossary a {
208 background-color: #EDE497;
213 padding: 4px 10px 4px 142px;
224 #footer a, #footer a:active, #footer a:visited {
226 text-decoration: none;
230 background-color: inherit;
231 text-decoration: underline;
235 border: 1px solid #AADD88;
236 background-color: #EEFFDD;
241 border: 1px solid #DDAA88;
242 background-color: #FFEEDD;
247 border: 1px solid A0C2C2;
248 background-color: #F0F8F8;
255 border: 1px solid #AAAAAA;
264 border: 2px solid white;
265 background-color: #EEEEEE;
270 background-color: white;
279 border: 1px solid #AAAAAA;
285 border: 2px solid white;
286 background-color: #EEEEEE;
293 background-color: #DDDDDD;
298 table.fixedcolumn td:first-child {
315 table.ebnf td:first-child {
335 table.listing td:first-child {
339 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
340 border: 1px solid #CC8888;
342 margin: 4px 8px 4px 2px;
343 background-color: #FFEEEE;
349 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
350 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
356 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
361 border-color: #CCCC88;
362 background-color: #FFFFEE;
366 border-color: #88CC88;
367 background-color: #EEFFEE;
371 border-color: #CCCCCC;
372 background-color: #F8F8F8;
375 div.bug, div.fixme, div.todo, div.idea {
380 border-left: 10px solid red;
384 border-left: 10px solid yellow;
388 border-left: 10px solid green;
392 border-left: 10px solid #AAAAAA;
404 border-bottom: 1px solid #84b0c7;
407 p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
415 div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
433 div.nav, div.navpath {
435 background-color: white;
437 border-bottom: 1px solid #AF9D00;
444 background-color: #e8eef2;
445 border: 1px solid #84b0c7;
456 table.qindextable td {
460 dl.parameters dd table {
470 table.glossary tr td {
472 border-bottom: 4px solid white;
475 background-color: #F0F0F0;
478 table.glossary tr td:first-child {
484 table.members td:first-child {
495 margin: 0pt 0pt 0pt 40px;
496 list-style-type: decimal;
517 background-color: #F5F5F5;
518 border: 1px solid #CCC;
529 list-style-type: none;
531 margin: 1em 0 1em 1em;
539 #autotoc ul li.level_h2 {
540 margin: .5em 0 .2em 0;
543 #autotoc ul li.level_h3 {
547 #autotoc ul li.level_h4 {
553 * indent-tabs-mode: nil
554 * ispell-local-dictionary: "american"