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