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;
141 text-decoration: none;
145 text-decoration: none;
149 text-decoration: underline;
153 text-decoration: underline;
183 border-top: 2px solid #808080;
187 margin: .0em 0 0 -4%;
189 border-bottom: 2px solid #808080;
193 margin: 0.5em 0 0 -4%;
195 border-bottom: 2px solid #808080;
199 margin: .8em 0 0 -3%;
204 margin: .8em 0 0 -3%;
209 margin: .8em 0 0 -2%;
214 margin: .8em 0 0 -1%;
219 border: none; /* Broken on IE6 */
234 ul, body dir, body menu {
238 body h1, body h2, body h3, body h4, body h5, body h6 {
243 margin: 0.5em 10% 0.5em 1em;
247 tt.literal, code.literal {
250 .programlisting, .screen {
251 border: 1px solid #808080;
253 margin: 0.5em 10% 0.5em 0;
259 margin: 1.0em 10% 0.5em 0;
261 border: 1px solid #808080;
263 div.sidebar * { padding: 0; }
264 div.sidebar div { margin: 0; }
265 div.sidebar p.title {
267 margin-bottom: 0.2em;
271 margin: 0.5em 5% 0.5em 1em;
294 div.variablelist dd p {
298 div.itemizedlist li, div.orderedlist li {
304 list-style-position: outside;
307 div.sidebar ul, div.sidebar ol {
311 div.itemizedlist p.title,
312 div.orderedlist p.title,
313 div.variablelist p.title
315 margin-bottom: -0.8em;
322 div.revhistory table, div.revhistory th, div.revhistory td {
323 border-collapse: collapse;
324 border: 1px solid #808080;
332 /* Keep TOC and index lines close together. */
333 div.toc dl, div.toc dt
340 div.admonitionblock {
347 div.admonitionblock div {
352 div.admonitionblock div.title {
358 div#content table.tableblock {
361 border-collapse: collapse;
364 div#content table.tableblock td,th {
365 border-right-style: solid;
366 border-right-width: 1px;
369 div#content table.tableblock tbody p {
371 margin-bottom: 0.25em;
373 margin-right: 0.25em;
376 div#content table.tableblock tbody tr:nth-child(odd) {
386 margin-bottom: 0.5em;
390 div.navheader, div.navfooter { display: none; }