2 CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
6 font-family: "Frutiger LT Std 45 Light",sans-serif;
11 font-family: "DejaVu Sans Mono", monospace;
25 margin: 1em 5% 1em 5%;
41 h1, h2, h3, h4, h5, h6
44 font-family: "Frutiger LT Std 45 Light",sans-serif;
47 div.revhistory table {
57 div.toc p:first-child,
58 div.list-of-figures p:first-child,
59 div.list-of-tables p:first-child,
60 div.list-of-examples p:first-child,
66 font-family: "Frutiger LT Std 45 Light",sans-serif;
73 border-bottom: 2px solid silver;
77 margin: 0.5em 0 0 -4%;
79 border-bottom: 2px solid silver;
90 border-top: 2px solid silver;goog
104 border: none; /* Broken on IE6 */
107 border: 1px solid silver;
110 div.navheader th, div.navheader td, div.navfooter td {
111 font-family: "Frutiger LT Std 45 Light",sans-serif;
116 div.navheader img, div.navfooter img {
119 div.navheader a, div.navfooter a {
123 border: 1px solid silver;
138 ul, body dir, body menu {
147 body h1, body h2, body h3, body h4, body h5, body h6 {
152 margin: 0.5em 10% 0.5em 1em;
156 tt.literal, code.literal {
159 .programlisting, .screen {
160 border: 1px solid silver;
162 margin: 0.5em 10% 0.5em 0;
168 margin: 1.0em 10% 0.5em 0;
170 border: 1px solid silver;
172 div.sidebar * { padding: 0; }
173 div.sidebar div { margin: 0; }
174 div.sidebar p.title {
176 margin-bottom: 0.2em;
180 margin: 0.5em 5% 0.5em 1em;
203 div.variablelist dd p {
207 div.itemizedlist li, div.orderedlist li {
213 list-style-position: outside;
216 div.sidebar ul, div.sidebar ol {
220 div.itemizedlist p.title,
221 div.orderedlist p.title,
222 div.variablelist p.title
224 margin-bottom: -0.8em;
235 div.revhistory table, th, td, tr {
238 border-collapse: collapse;
243 border: 1px solid black;
247 font-family: "Frutiger LT Std 45 Light",sans-serif;
250 /* Keep TOC and index lines close together. */
251 div.toc dl, div.toc dt,
252 div.list-of-figures dl, div.list-of-figures dt,
253 div.list-of-tables dl, div.list-of-tables dt,
254 div.indexdiv dl, div.indexdiv dt
262 Table styling does not work because of overriding attributes in
266 div.informaltable table
270 margin-bottom: 0.8em;
272 div.informaltable table
279 div.informaltable thead,
280 div.informaltable tfoot,
281 div.informaltable tbody
283 /* No effect in IE6. */
284 border-top: 3px solid #527bbd;
285 border-bottom: 3px solid #527bbd;
287 div.table thead, div.table tfoot,
288 div.informaltable thead, div.informaltable tfoot
293 div.mediaobject img {
294 margin-bottom: 0.8em;
300 margin-bottom: 0.4em;
306 margin-bottom: 0.4em;
314 div.navheader, div.navfooter { display: none; }
317 span.aqua { color: aqua; }
318 span.black { color: black; }
319 span.blue { color: blue; }
320 span.fuchsia { color: fuchsia; }
321 span.gray { color: gray; }
322 span.green { color: green; }
323 span.lime { color: lime; }
324 span.maroon { color: maroon; }
325 span.navy { color: navy; }
326 span.olive { color: olive; }
327 span.purple { color: purple; }
328 span.red { color: red; }
329 span.silver { color: silver; }
330 span.teal { color: teal; }
331 span.white { color: white; }
332 span.yellow { color: yellow; }
334 span.aqua-background { background: aqua; }
335 span.black-background { background: black; }
336 span.blue-background { background: blue; }
337 span.fuchsia-background { background: fuchsia; }
338 span.gray-background { background: gray; }
339 span.green-background { background: green; }
340 span.lime-background { background: lime; }
341 span.maroon-background { background: maroon; }
342 span.navy-background { background: navy; }
343 span.olive-background { background: olive; }
344 span.purple-background { background: purple; }
345 span.red-background { background: red; }
346 span.silver-background { background: silver; }
347 span.teal-background { background: teal; }
348 span.white-background { background: white; }
349 span.yellow-background { background: yellow; }
351 span.big { font-size: 2em; }
352 span.small { font-size: 0.6em; }
354 span.underline { text-decoration: underline; }
355 span.overline { text-decoration: overline; }
356 span.line-through { text-decoration: line-through; }