2 CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
6 font-family: 'Open Sans';
7 src: url('fonts/OpenSans-Regular.ttf');
13 font-family: 'Open Sans';
14 src: url('fonts/OpenSans-Italic.ttf');
20 font-family: 'Open Sans';
21 src: url('fonts/OpenSans-Semibold.ttf');
27 font-family: 'Open Sans';
28 src: url('fonts/OpenSans-SemiboldItalic.ttf');
34 font-family: 'DejaVu Sans Mono';
35 src: url('fonts/DejaVuSansMono.ttf');
41 font-family: 'DejaVu Sans Mono';
42 src: url('fonts/DejaVuSansMono-Oblique.ttf');
48 font-family: 'DejaVu Sans Mono';
49 src: url('fonts/DejaVuSansMono-Bold.ttf');
55 font-family: 'DejaVu Sans Mono';
56 src: url('fonts/DejaVuSansMono-BoldOblique.ttf');
62 font-family: "Open Sans",sans-serif;
67 font-family: "DejaVu Sans Mono", monospace;
81 margin: 1em 5% 1em 5%;
97 h1, h2, h3, h4, h5, h6
100 font-family: "Open Sans",sans-serif;
103 div.revhistory table {
113 div.warning h1, div.warning h2, div.warning h3, div.warning h4, div.warning h5, div.warning h6 {
117 div.warning p, div.note p, div.error p {
128 border-right: 2px solid #78079a;
129 border-bottom: 2px solid #78079a;
141 border-right: 2px solid #78079a;
142 border-collapse: collapse;
147 text-decoration: none;
151 text-decoration: none;
155 text-decoration: underline;
159 text-decoration: underline;
166 div.list-of-figures {
186 div.table-contents table {
191 div.toc p:first-child,
192 div.list-of-figures p:first-child,
193 div.list-of-tables p:first-child,
194 div.list-of-examples p:first-child,
200 font-family: "Open Sans",sans-serif;
201 margin-bottom: 0.2em;
205 margin: .0em 0 0 -4%;
207 border-bottom: 2px solid silver;
211 margin: 0.5em 0 0 -4%;
213 border-bottom: 2px solid silver;
217 margin: .8em 0 0 -3%;
222 margin: .8em 0 0 -3%;
224 border-top: 2px solid silver;goog
228 margin: .8em 0 0 -2%;
233 margin: .8em 0 0 -1%;
238 border: none; /* Broken on IE6 */
241 border: 1px solid silver;
244 div.navheader th, div.navheader td, div.navfooter td {
245 font-family: "Open Sans",sans-serif;
250 div.navheader img, div.navfooter img {
253 div.navheader a, div.navfooter a {
257 border: 1px solid silver;
272 ul, body dir, body menu {
281 body h1, body h2, body h3, body h4, body h5, body h6 {
286 margin: 0.5em 10% 0.5em 1em;
290 tt.literal, code.literal {
293 .programlisting, .screen {
294 border: 1px solid silver;
296 margin: 0.5em 10% 0.5em 0;
302 margin: 1.0em 10% 0.5em 0;
304 border: 1px solid silver;
306 div.sidebar * { padding: 0; }
307 div.sidebar div { margin: 0; }
308 div.sidebar p.title {
310 margin-bottom: 0.2em;
314 margin: 0.5em 5% 0.5em 1em;
337 div.variablelist dd p {
341 div.itemizedlist li, div.orderedlist li {
347 list-style-position: outside;
350 div.sidebar ul, div.sidebar ol {
354 div.itemizedlist p.title,
355 div.orderedlist p.title,
356 div.variablelist p.title
358 margin-bottom: -0.8em;
365 div.revhistory table, div.revhistory th, div.revhistory td {
366 border-collapse: collapse;
367 border: 1px solid #78079a;
375 /* Keep TOC and index lines close together. */
376 div.toc dl, div.toc dt,
377 div.list-of-figures dl, div.list-of-figures dt,
378 div.list-of-tables dl, div.list-of-tables dt,
379 div.indexdiv dl, div.indexdiv dt
387 Table styling does not work because of overriding attributes in
390 div.table-contents p,
397 div.informaltable table
400 margin-right: 0.25em;
401 margin-bottom: 0.25em;
403 div.informaltable table
410 div.informaltable thead,
411 div.informaltable tfoot,
412 div.informaltable tbody
414 /* No effect in IE6. */
415 border-top: 1px solid #78079a;
416 border-bottom: 1px solid #78079a;
417 border-left: 1px solid #78079a;
418 border-right: 1px solid #78079a !important;
419 border-width: 1px !important;
424 div.table thead, div.table tfoot,
425 div.informaltable thead, div.informaltable tfoot
430 div.mediaobject img {
431 margin-bottom: 0.8em;
437 margin-bottom: 0.4em;
443 margin-bottom: 0.4em;
451 div.navheader, div.navfooter { display: none; }
454 span.aqua { color: aqua; }
455 span.black { color: black; }
456 span.blue { color: blue; }
457 span.fuchsia { color: fuchsia; }
458 span.gray { color: gray; }
459 span.green { color: green; }
460 span.lime { color: lime; }
461 span.maroon { color: maroon; }
462 span.navy { color: navy; }
463 span.olive { color: olive; }
464 span.purple { color: purple; }
465 span.red { color: red; }
466 span.silver { color: silver; }
467 span.teal { color: teal; }
468 span.white { color: white; }
469 span.yellow { color: yellow; }
471 span.aqua-background { background: aqua; }
472 span.black-background { background: black; }
473 span.blue-background { background: blue; }
474 span.fuchsia-background { background: fuchsia; }
475 span.gray-background { background: gray; }
476 span.green-background { background: green; }
477 span.lime-background { background: lime; }
478 span.maroon-background { background: maroon; }
479 span.navy-background { background: navy; }
480 span.olive-background { background: olive; }
481 span.purple-background { background: purple; }
482 span.red-background { background: red; }
483 span.silver-background { background: silver; }
484 span.teal-background { background: teal; }
485 span.white-background { background: white; }
486 span.yellow-background { background: yellow; }
488 span.big { font-size: 2em; }
489 span.small { font-size: 0.6em; }
491 span.underline { text-decoration: underline; }
492 span.overline { text-decoration: overline; }
493 span.line-through { text-decoration: line-through; }