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.toc p:first-child,
114 div.list-of-figures p:first-child,
115 div.list-of-tables p:first-child,
116 div.list-of-examples p:first-child,
122 font-family: "Open Sans",sans-serif;
123 margin-bottom: 0.2em;
127 margin: .0em 0 0 -4%;
129 border-bottom: 2px solid silver;
133 margin: 0.5em 0 0 -4%;
135 border-bottom: 2px solid silver;
139 margin: .8em 0 0 -3%;
144 margin: .8em 0 0 -3%;
146 border-top: 2px solid silver;goog
150 margin: .8em 0 0 -2%;
155 margin: .8em 0 0 -1%;
160 border: none; /* Broken on IE6 */
163 border: 1px solid silver;
166 div.navheader th, div.navheader td, div.navfooter td {
167 font-family: "Open Sans",sans-serif;
172 div.navheader img, div.navfooter img {
175 div.navheader a, div.navfooter a {
179 border: 1px solid silver;
194 ul, body dir, body menu {
203 body h1, body h2, body h3, body h4, body h5, body h6 {
208 margin: 0.5em 10% 0.5em 1em;
212 tt.literal, code.literal {
215 .programlisting, .screen {
216 border: 1px solid silver;
218 margin: 0.5em 10% 0.5em 0;
224 margin: 1.0em 10% 0.5em 0;
226 border: 1px solid silver;
228 div.sidebar * { padding: 0; }
229 div.sidebar div { margin: 0; }
230 div.sidebar p.title {
232 margin-bottom: 0.2em;
236 margin: 0.5em 5% 0.5em 1em;
259 div.variablelist dd p {
263 div.itemizedlist li, div.orderedlist li {
269 list-style-position: outside;
272 div.sidebar ul, div.sidebar ol {
276 div.itemizedlist p.title,
277 div.orderedlist p.title,
278 div.variablelist p.title
280 margin-bottom: -0.8em;
291 div.revhistory table, th, td, tr {
294 border-collapse: collapse;
299 border: 1px solid black;
305 /* Keep TOC and index lines close together. */
306 div.toc dl, div.toc dt,
307 div.list-of-figures dl, div.list-of-figures dt,
308 div.list-of-tables dl, div.list-of-tables dt,
309 div.indexdiv dl, div.indexdiv dt
317 Table styling does not work because of overriding attributes in
321 div.informaltable table
325 margin-bottom: 0.8em;
327 div.informaltable table
334 div.informaltable thead,
335 div.informaltable tfoot,
336 div.informaltable tbody
338 /* No effect in IE6. */
339 border-top: 3px solid #527bbd;
340 border-bottom: 3px solid #527bbd;
342 div.table thead, div.table tfoot,
343 div.informaltable thead, div.informaltable tfoot
348 div.mediaobject img {
349 margin-bottom: 0.8em;
355 margin-bottom: 0.4em;
361 margin-bottom: 0.4em;
369 div.navheader, div.navfooter { display: none; }
372 span.aqua { color: aqua; }
373 span.black { color: black; }
374 span.blue { color: blue; }
375 span.fuchsia { color: fuchsia; }
376 span.gray { color: gray; }
377 span.green { color: green; }
378 span.lime { color: lime; }
379 span.maroon { color: maroon; }
380 span.navy { color: navy; }
381 span.olive { color: olive; }
382 span.purple { color: purple; }
383 span.red { color: red; }
384 span.silver { color: silver; }
385 span.teal { color: teal; }
386 span.white { color: white; }
387 span.yellow { color: yellow; }
389 span.aqua-background { background: aqua; }
390 span.black-background { background: black; }
391 span.blue-background { background: blue; }
392 span.fuchsia-background { background: fuchsia; }
393 span.gray-background { background: gray; }
394 span.green-background { background: green; }
395 span.lime-background { background: lime; }
396 span.maroon-background { background: maroon; }
397 span.navy-background { background: navy; }
398 span.olive-background { background: olive; }
399 span.purple-background { background: purple; }
400 span.red-background { background: red; }
401 span.silver-background { background: silver; }
402 span.teal-background { background: teal; }
403 span.white-background { background: white; }
404 span.yellow-background { background: yellow; }
406 span.big { font-size: 2em; }
407 span.small { font-size: 0.6em; }
409 span.underline { text-decoration: underline; }
410 span.overline { text-decoration: overline; }
411 span.line-through { text-decoration: line-through; }