From Harald Welte:
[obnox/wireshark/wip.git] / docbook / ws.css
1 /*
2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3   Derived from http://www.methods.co.nz/asciidoc/docbook-xsl.css
4 */
5
6 span.strong {
7   font-weight: bold;
8 }
9
10 body blockquote {
11   margin-top: .75em;
12   line-height: 1.5;
13   margin-bottom: .75em;
14 }
15
16 html body {
17   margin: 1em 5% 1em 5%;
18   line-height: 1.2;
19 }
20
21 body div {
22   margin: 0;
23 }
24
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: #1f3b5e;
32   font-family: Arial, Helvetica, sans-serif;
33 }
34
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 }
42
43 body h1 {
44   font-size: 1.3em;
45 }
46
47 body h2 {
48   font-size: 1.2em;
49 }
50
51 body h3 {
52   font-size: 1.1em;
53 }
54
55 body hr {
56   border: none; /* Broken on IE6 */
57 }
58 div.footnotes hr {
59   border: 1px solid silver;
60 }
61
62 div.navheader th, div.navheader td, div.navfooter td {
63   font-family: Arial, Helvetica, sans-serif;
64   font-size: 0.9em;
65   font-weight: bold;
66   color: #1f3b5e;
67 }
68 div.navheader img, div.navfooter img {
69   border-style: none;
70 }
71 div.navheader a, div.navfooter a {
72   font-weight: normal;
73 }
74 div.navfooter hr {
75   border: 1px solid silver;
76 }
77
78 body td {
79   line-height: 1.2
80 }
81
82 body th {
83   line-height: 1.2;
84 }
85
86 ol {
87   line-height: 1.2;
88 }
89
90 ul, body dir, body menu {
91   line-height: 1.2;
92 }
93
94 html {
95   margin: 0; 
96   padding: 0;
97 }
98
99 body h1, body h2, body h3, body h4, body h5, body h6 {
100   margin-left: 0
101
102
103 body pre {
104   margin: 0.5em 10% 0.5em 1em;
105   line-height: 1.0;
106   color: 333;
107 }
108
109 tt.literal, code.literal {
110   color: 333;
111 }
112
113 .programlisting, .screen {
114   border: 1px solid silver;
115   background: #f4f4f4;
116   margin: 0.5em 10% 0.5em 0;
117   padding: 0.5em 1em;
118 }
119
120 div.sidebar {
121   background: #ffffee;
122   margin: 1.0em 10% 0.5em 0;
123   padding: 0.5em 1em;
124   border: 1px solid silver;
125 }
126 div.sidebar * { padding: 0; }
127 div.sidebar div { margin: 0; }
128 div.sidebar p.title {
129   font-family: Arial, Helvetica, sans-serif;
130   margin-top: 0.5em;
131   margin-bottom: 0.2em;
132 }
133
134 div.bibliomixed {
135   margin: 0.5em 5% 0.5em 1em;
136 }
137
138 div.glossary dt {
139   font-weight: bold;
140 }
141 div.glossary dd p {
142   margin-top: 0.2em;
143 }
144
145 dl {
146   margin: .8em 0;
147   line-height: 1.2;
148 }
149
150 dt {
151   margin-top: 0.5em;
152 }
153
154 dt span.term {
155   font-style: italic;
156 }
157
158 div.variablelist dd p {
159   margin-top: 0;
160 }
161
162 div.itemizedlist li, div.orderedlist li {
163   margin-left: -0.8em;
164   margin-top: 0.5em;
165 }
166
167 ul, ol {
168     list-style-position: outside;
169 }
170
171 div.sidebar ul, div.sidebar ol {
172     margin-left: 2.8em;
173 }
174
175 div.itemizedlist p.title,
176 div.orderedlist p.title,
177 div.variablelist p.title
178 {
179   margin-bottom: -0.8em;
180 }
181
182 div.revhistory table {
183   border-collapse: collapse;
184   border: none;
185 }
186 div.revhistory th {
187   border: none;
188   color: #1f3b5e;
189   font-family: Arial, Helvetica, sans-serif;
190 }
191 div.revhistory td {
192   border: 1px solid silver;
193 }
194
195 /* Keep TOC and index lines close together. */
196 div.toc dl, div.toc dt,
197 div.list-of-figures dl, div.list-of-figures dt,
198 div.list-of-tables dl, div.list-of-tables dt,
199 div.indexdiv dl, div.indexdiv dt
200 {
201   line-height: normal;
202   margin-top: 0;
203   margin-bottom: 0;
204 }
205
206 /*
207   Table styling does not work because of overriding attributes in
208   generated HTML.
209 */
210 div.table table,
211 div.informaltable table
212 {
213     margin-left: 0;
214     margin-right: 5%;
215     margin-bottom: 0.8em;
216 }
217 div.informaltable table
218 {
219     margin-top: 0.4em
220 }
221 div.table thead,
222 div.table tfoot,
223 div.table tbody,
224 div.informaltable thead,
225 div.informaltable tfoot,
226 div.informaltable tbody
227 {
228     /* No effect in IE6. */
229     border-top: 2px solid #527bbd;
230     border-bottom: 2px solid #527bbd;
231 }
232 div.table thead, div.table tfoot,
233 div.informaltable thead, div.informaltable tfoot
234 {
235     font-weight: bold;
236 }
237
238 div.mediaobject img {
239     border: 1px solid silver;
240     margin-bottom: 0.8em;
241 }
242 div.figure p.title,
243 div.table p.title
244 {
245   margin-top: 1em;
246   margin-bottom: 0.4em;
247 }
248
249 @media print {
250   div.navheader, div.navfooter { display: none; }
251 }