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