1 /*
2 CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3 Tested with XSL stylesheets 1.61.2, 1.67.2
4 */
6 span.strong {
7 font-weight: bold;
8 }
10 body blockquote {
11 margin-top: .75em;
12 line-height: 1.5;
13 margin-bottom: .75em;
14 }
16 html body {
17 margin: 1em 5% 1em 5%;
18 line-height: 1.2;
19 font-family: sans-serif;
20 }
22 body div {
23 margin: 0;
24 }
26 h1, h2, h3, h4, h5, h6,
27 div.toc p b,
28 div.list-of-figures p b,
29 div.list-of-tables p b,
30 div.abstract p.title
31 {
32 color: #527bbd;
33 font-family: tahoma, verdana, sans-serif;
34 }
36 div.toc p:first-child,
37 div.list-of-figures p:first-child,
38 div.list-of-tables p:first-child,
39 div.example p.title
40 {
41 margin-bottom: 0.2em;
42 }
44 body h1 {
45 margin: .0em 0 0 -4%;
46 line-height: 1.3;
47 border-bottom: 2px solid silver;
48 }
50 body h2 {
51 margin: 0.5em 0 0 -4%;
52 line-height: 1.3;
53 border-bottom: 2px solid silver;
54 }
56 body h3 {
57 margin: .8em 0 0 -3%;
58 line-height: 1.3;
59 }
61 body h4 {
62 margin: .8em 0 0 -3%;
63 line-height: 1.3;
64 }
66 body h5 {
67 margin: .8em 0 0 -2%;
68 line-height: 1.3;
69 }
71 body h6 {
72 margin: .8em 0 0 -1%;
73 line-height: 1.3;
74 }
76 body hr {
77 border: none; /* Broken on IE6 */
78 }
79 div.footnotes hr {
80 border: 1px solid silver;
81 }
83 div.navheader th, div.navheader td, div.navfooter td {
84 font-family: sans-serif;
85 font-size: 0.9em;
86 font-weight: bold;
87 color: #527bbd;
88 }
89 div.navheader img, div.navfooter img {
90 border-style: none;
91 }
92 div.navheader a, div.navfooter a {
93 font-weight: normal;
94 }
95 div.navfooter hr {
96 border: 1px solid silver;
97 }
99 body td {
100 line-height: 1.2
101 }
103 body th {
104 line-height: 1.2;
105 }
107 ol {
108 line-height: 1.2;
109 }
111 ul, body dir, body menu {
112 line-height: 1.2;
113 }
115 html {
116 margin: 0;
117 padding: 0;
118 }
120 body h1, body h2, body h3, body h4, body h5, body h6 {
121 margin-left: 0
122 }
124 body pre {
125 margin: 0.5em 10% 0.5em 1em;
126 line-height: 1.0;
127 color: navy;
128 }
130 tt.literal, code.literal {
131 color: navy;
132 font-family: sans-serif;
133 }
135 code.literal:before { content: "'"; }
136 code.literal:after { content: "'"; }
138 em {
139 font-style: italic;
140 color: #064;
141 }
143 div.literallayout p {
144 padding: 0em;
145 margin: 0em;
146 }
148 div.literallayout {
149 font-family: monospace;
150 margin: 0em;
151 color: navy;
152 border: 1px solid silver;
153 background: #f4f4f4;
154 padding: 0.5em;
155 }
157 .programlisting, .screen {
158 border: 1px solid silver;
159 background: #f4f4f4;
160 margin: 0.5em 10% 0.5em 0;
161 padding: 0.5em 1em;
162 }
164 div.sidebar {
165 background: #ffffee;
166 margin: 1.0em 10% 0.5em 0;
167 padding: 0.5em 1em;
168 border: 1px solid silver;
169 }
170 div.sidebar * { padding: 0; }
171 div.sidebar div { margin: 0; }
172 div.sidebar p.title {
173 font-family: sans-serif;
174 margin-top: 0.5em;
175 margin-bottom: 0.2em;
176 }
178 div.bibliomixed {
179 margin: 0.5em 5% 0.5em 1em;
180 }
182 div.glossary dt {
183 font-weight: bold;
184 }
185 div.glossary dd p {
186 margin-top: 0.2em;
187 }
189 dl {
190 margin: .8em 0;
191 line-height: 1.2;
192 }
194 dt {
195 margin-top: 0.5em;
196 }
198 dt span.term {
199 font-style: normal;
200 color: navy;
201 }
203 div.variablelist dd p {
204 margin-top: 0;
205 }
207 div.itemizedlist li, div.orderedlist li {
208 margin-left: -0.8em;
209 margin-top: 0.5em;
210 }
212 ul, ol {
213 list-style-position: outside;
214 }
216 div.sidebar ul, div.sidebar ol {
217 margin-left: 2.8em;
218 }
220 div.itemizedlist p.title,
221 div.orderedlist p.title,
222 div.variablelist p.title
223 {
224 margin-bottom: -0.8em;
225 }
227 div.revhistory table {
228 border-collapse: collapse;
229 border: none;
230 }
231 div.revhistory th {
232 border: none;
233 color: #527bbd;
234 font-family: tahoma, verdana, sans-serif;
235 }
236 div.revhistory td {
237 border: 1px solid silver;
238 }
240 /* Keep TOC and index lines close together. */
241 div.toc dl, div.toc dt,
242 div.list-of-figures dl, div.list-of-figures dt,
243 div.list-of-tables dl, div.list-of-tables dt,
244 div.indexdiv dl, div.indexdiv dt
245 {
246 line-height: normal;
247 margin-top: 0;
248 margin-bottom: 0;
249 }
251 /*
252 Table styling does not work because of overriding attributes in
253 generated HTML.
254 */
255 div.table table,
256 div.informaltable table
257 {
258 margin-left: 0;
259 margin-right: 5%;
260 margin-bottom: 0.8em;
261 }
262 div.informaltable table
263 {
264 margin-top: 0.4em
265 }
266 div.table thead,
267 div.table tfoot,
268 div.table tbody,
269 div.informaltable thead,
270 div.informaltable tfoot,
271 div.informaltable tbody
272 {
273 /* No effect in IE6. */
274 border-top: 2px solid #527bbd;
275 border-bottom: 2px solid #527bbd;
276 }
277 div.table thead, div.table tfoot,
278 div.informaltable thead, div.informaltable tfoot
279 {
280 font-weight: bold;
281 }
283 div.mediaobject img {
284 border: 1px solid silver;
285 margin-bottom: 0.8em;
286 }
287 div.figure p.title,
288 div.table p.title
289 {
290 margin-top: 1em;
291 margin-bottom: 0.4em;
292 }
294 @media print {
295 div.navheader, div.navfooter { display: none; }
296 }