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