• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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
26{
27  color: #527bbd;
28  font-family: tahoma, verdana, sans-serif;
29}
30
31div.toc p:first-child,
32div.list-of-figures p:first-child,
33div.list-of-tables p:first-child,
34div.list-of-examples p:first-child,
35div.example p.title,
36div.sidebar p.title
37{
38  font-weight: bold;
39  color: #527bbd;
40  font-family: tahoma, verdana, sans-serif;
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}
133
134.programlisting, .screen {
135  border: 1px solid silver;
136  background: #f4f4f4;
137  margin: 0.5em 10% 0.5em 0;
138  padding: 0.5em 1em;
139}
140
141div.sidebar {
142  background: #ffffee;
143  margin: 1.0em 10% 0.5em 0;
144  padding: 0.5em 1em;
145  border: 1px solid silver;
146}
147div.sidebar * { padding: 0; }
148div.sidebar div { margin: 0; }
149div.sidebar p.title {
150  margin-top: 0.5em;
151  margin-bottom: 0.2em;
152}
153
154div.bibliomixed {
155  margin: 0.5em 5% 0.5em 1em;
156}
157
158div.glossary dt {
159  font-weight: bold;
160}
161div.glossary dd p {
162  margin-top: 0.2em;
163}
164
165dl {
166  margin: .8em 0;
167  line-height: 1.2;
168}
169
170dt {
171  margin-top: 0.5em;
172}
173
174dt span.term {
175  font-style: normal;
176  color: navy;
177}
178
179div.variablelist dd p {
180  margin-top: 0;
181}
182
183div.itemizedlist li, div.orderedlist li {
184  margin-left: -0.8em;
185  margin-top: 0.5em;
186}
187
188ul, ol {
189    list-style-position: outside;
190}
191
192div.sidebar ul, div.sidebar ol {
193    margin-left: 2.8em;
194}
195
196div.itemizedlist p.title,
197div.orderedlist p.title,
198div.variablelist p.title
199{
200  margin-bottom: -0.8em;
201}
202
203div.revhistory table {
204  border-collapse: collapse;
205  border: none;
206}
207div.revhistory th {
208  border: none;
209  color: #527bbd;
210  font-family: tahoma, verdana, sans-serif;
211}
212div.revhistory td {
213  border: 1px solid silver;
214}
215
216/* Keep TOC and index lines close together. */
217div.toc dl, div.toc dt,
218div.list-of-figures dl, div.list-of-figures dt,
219div.list-of-tables dl, div.list-of-tables dt,
220div.indexdiv dl, div.indexdiv dt
221{
222  line-height: normal;
223  margin-top: 0;
224  margin-bottom: 0;
225}
226
227/*
228  Table styling does not work because of overriding attributes in
229  generated HTML.
230*/
231div.table table,
232div.informaltable table
233{
234    margin-left: 0;
235    margin-right: 5%;
236    margin-bottom: 0.8em;
237}
238div.informaltable table
239{
240    margin-top: 0.4em
241}
242div.table thead,
243div.table tfoot,
244div.table tbody,
245div.informaltable thead,
246div.informaltable tfoot,
247div.informaltable tbody
248{
249    /* No effect in IE6. */
250    border-top: 3px solid #527bbd;
251    border-bottom: 3px solid #527bbd;
252}
253div.table thead, div.table tfoot,
254div.informaltable thead, div.informaltable tfoot
255{
256    font-weight: bold;
257}
258
259div.mediaobject img {
260    margin-bottom: 0.8em;
261}
262div.figure p.title,
263div.table p.title
264{
265  margin-top: 1em;
266  margin-bottom: 0.4em;
267}
268
269div.calloutlist p
270{
271  margin-top: 0em;
272  margin-bottom: 0.4em;
273}
274
275a img {
276  border-style: none;
277}
278
279@media print {
280  div.navheader, div.navfooter { display: none; }
281}
282
283span.aqua { color: aqua; }
284span.black { color: black; }
285span.blue { color: blue; }
286span.fuchsia { color: fuchsia; }
287span.gray { color: gray; }
288span.green { color: green; }
289span.lime { color: lime; }
290span.maroon { color: maroon; }
291span.navy { color: navy; }
292span.olive { color: olive; }
293span.purple { color: purple; }
294span.red { color: red; }
295span.silver { color: silver; }
296span.teal { color: teal; }
297span.white { color: white; }
298span.yellow { color: yellow; }
299
300span.aqua-background { background: aqua; }
301span.black-background { background: black; }
302span.blue-background { background: blue; }
303span.fuchsia-background { background: fuchsia; }
304span.gray-background { background: gray; }
305span.green-background { background: green; }
306span.lime-background { background: lime; }
307span.maroon-background { background: maroon; }
308span.navy-background { background: navy; }
309span.olive-background { background: olive; }
310span.purple-background { background: purple; }
311span.red-background { background: red; }
312span.silver-background { background: silver; }
313span.teal-background { background: teal; }
314span.white-background { background: white; }
315span.yellow-background { background: yellow; }
316
317span.big { font-size: 2em; }
318span.small { font-size: 0.6em; }
319
320span.underline { text-decoration: underline; }
321span.overline { text-decoration: overline; }
322span.line-through { text-decoration: line-through; }
323