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