4 font-family: Verdana, Arial, Helvetica, sans-serif;
9 border-top: 5px solid #DECD40;
10 border-bottom: 1px solid #AF9D00;
11 background: url(logo-head.png) top left no-repeat;
12 background-color: #EDE497;
19 background-color: #DECD40;
20 border-bottom: 1px solid #AF9D00;
32 background-color: #EDE497;
40 padding: 0 10px 10px 0;
41 border-bottom: 1px solid #AF9D00;
45 /* need non-zero top padding here to prevent margin propagation */
46 padding: 10px 0 0 142px;
52 text-decoration: none;
55 a:contains("http://") {
64 display: inline; /* IE double margin fix */
67 background-color: #FDF7C3;
68 border: 1px solid #AF9D00;
69 margin: 0 0 10px -132px;
75 margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
81 list-style-type: none;
93 text-decoration: none;
98 div.tabs ul li a:visited, div.tabs ul li a:active {
100 text-decoration: none;
103 div.tabs li.current a {
104 background-position: 100% -150px;
108 div.tabs li.current span {
109 background-position: 0% -150px;
110 padding-bottom : 6px;
113 div.tabs ul li a:hover, div.tabs ul li.current a {
115 text-decoration: none;
116 background-color: #EDE497;
121 padding: 4px 10px 4px 142px;
132 #footer a, #footer a:active, #footer a:visited {
134 text-decoration: none;
138 background-color: inherit;
139 text-decoration: underline;
143 border: 1px solid #AADD88;
144 background-color: #EEFFDD;
149 border: 1px solid #DDAA88;
150 background-color: #FFEEDD;
155 border: 1px solid A0C2C2;
156 background-color: #F0F8F8;
163 border: 1px solid #AAAAAA;
169 border: 2px solid white;
170 background-color: #EEEEEE;
176 background-color: #DDDDDD;
181 dl.bug, dl.fixme, dl.todo, dl.idea {
182 border: 1px solid #EE0000;
183 border-left-width: 4px;
184 background-color: #FFDDDD;
188 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
189 border: 1px solid #CC8888;
191 margin: 4px 8px 4px 2px;
192 background-color: #FFEEEE;
198 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
199 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
205 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
210 border-color: #EEEE00;
211 background-color: #FFFFDD;
215 border-color: #CCCC88;
216 background-color: #FFFFEE;
220 border-color: #00AA00;
221 background-color: #DDFFDD;
225 border-color: #88CC88;
226 background-color: #EEFFEE;
230 border-color: #AAAAAA;
231 background-color: #EEEEEE;
235 border-color: #CCCCCC;
236 background-color: #F8F8F8;
249 background-color: white;
251 border-bottom: 1px solid #AF9D00;
258 background-color: #e8eef2;
259 border: 1px solid #84b0c7;
266 dl.parameters dd table {
275 table.glossary tr td {
277 border-bottom: 4px solid white;
280 background-color: #F0F0F0;
283 table.glossary tr td:first-child {
289 table.members td:first-child {