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;
68 font-family: "DejaVu Sans Mono", monospace;
89 h1, h2, h3, h4, h5, h6
92 font-family: "Open Sans",sans-serif;
95 div#content, div#header, div#footer {
113 border-right: 2px solid #808080;
114 border-collapse: collapse;
126 border-right: 2px solid #808080;
127 border-bottom: 2px solid #808080;
131 text-decoration: none;
135 text-decoration: none;
139 text-decoration: underline;
143 text-decoration: underline;
173 border-top: 2px solid #808080;
177 margin: .0em 0 0 -4%;
179 border-bottom: 2px solid #808080;
183 margin: 0.5em 0 0 -4%;
185 border-bottom: 2px solid #808080;
189 margin: .8em 0 0 -3%;
194 margin: .8em 0 0 -3%;
199 margin: .8em 0 0 -2%;
204 margin: .8em 0 0 -1%;
209 border: none; /* Broken on IE6 */
224 ul, body dir, body menu {
228 body h1, body h2, body h3, body h4, body h5, body h6 {
233 margin: 0.5em 10% 0.5em 1em;
237 tt.literal, code.literal {
240 .programlisting, .screen {
241 border: 1px solid #808080;
243 margin: 0.5em 10% 0.5em 0;
249 margin: 1.0em 10% 0.5em 0;
251 border: 1px solid #808080;
253 div.sidebar * { padding: 0; }
254 div.sidebar div { margin: 0; }
255 div.sidebar p.title {
257 margin-bottom: 0.2em;
261 margin: 0.5em 5% 0.5em 1em;
284 div.variablelist dd p {
288 div.itemizedlist li, div.orderedlist li {
294 list-style-position: outside;
297 div.sidebar ul, div.sidebar ol {
301 div.itemizedlist p.title,
302 div.orderedlist p.title,
303 div.variablelist p.title
305 margin-bottom: -0.8em;
312 div.revhistory table, div.revhistory th, div.revhistory td {
313 border-collapse: collapse;
314 border: 1px solid #808080;
322 /* Keep TOC and index lines close together. */
323 div.toc dl, div.toc dt
330 div.admonitionblock {
337 div.admonitionblock div {
342 div.admonitionblock div.title {
348 div#content table.tableblock {
351 border-collapse: collapse;
354 div#content table.tableblock td,th {
355 border-right-style: solid;
356 border-right-width: 1px;
359 div#content table.tableblock tbody p {
361 margin-bottom: 0.25em;
363 margin-right: 0.25em;
366 div#content table.tableblock tbody tr:nth-child(odd) {
376 margin-bottom: 0.5em;
380 div.navheader, div.navfooter { display: none; }