1html {
2  margin     : 0;
3  padding    : 0;
4  background : white;
5}
6
7body {
8  font-family      : "Lucida Grande", Verdana, "Bitstream Vera Sans", sans-serif;
9  font-weight      : normal;
10  font-size        : 13px;
11  line-height      : 19px;
12
13  color            : black;
14
15  margin  : 0 2em 0 2em;
16  padding : 0;
17}
18
19
20body {
21  min-width: 40em;
22}
23
24#container {
25  max-width : 46em;
26  margin    : 0 auto;
27  padding   : 0 1em 0 1em;
28}
29
30
31
32/*
33 * Footer
34 *
35 */
36#footer {
37  color       : #3a84a7;
38
39  padding     : 1em 0 0.5em 0;
40
41  font-size   : 10px;
42  line-height : 15px;
43
44  text-align: center;
45}
46
47#footer a:link, #footer a:visited {
48
49  color:#1d6699;
50  text-decoration: underline;
51}
52
53#footer a {
54  margin-left: 0.7em;
55  margin-right: 0.7em;
56}
57
58#footer p {
59  padding: 0;
60  margin: 0.3em 0 0 0;
61}
62
63/* Distribution terms.  */
64#footer #terms {
65  text-align: justify;
66
67  font-size        : 110%;
68  font-family      : monospace;
69
70  padding          : 1em 0 0.5em 0;
71}
72
73
74/*
75 * Content
76 *
77 */
78
79#content {
80  padding    : 0em 0.1em 0 1.3em;
81  margin     : 1.4em 0 0 0;
82}
83
84#content p,
85#content ol,
86#content ul,
87#content dl {
88  text-align: justify;
89}
90
91#content h1 {
92  margin-left: -0.89em;
93}
94
95a:link {
96  color:#0536d2;
97}
98
99
100/*
101 * Headings
102 *
103 */
104
105h1, h2, h3, h4, h5, h6 {
106  font-weight      : 500;
107}
108
109h1 { font-size  : 155%; }
110h2 { font-size  : 130%; }
111h3 { font-size  : 125%; }
112h4 { font-size  : 110%; }
113h5 { font-size  : 106%; }
114h6 { font-size  : 100%; }
115
116h1 { margin     : 1.8em 0 0.8em 0;}
117h2 { margin-top : 1.4em;}
118h3 { margin-top : 1em;}
119
120p.indent {
121  margin-left   : 1.5em;
122}
123
124
125/*
126 * Fix for IE 5.5 table font problem
127 *
128 */
129
130table {
131  font-size     : 13px;
132}
133
134
135/*
136 * table of content
137 *
138 */
139
140ul.toc li {
141    padding        : .4em 0em 0em 0em;
142}
143
144
145/* Toc links don't need to show when they are visited. */
146.toc a:visited {
147  color:#0536d2;
148}
149
150
151/*
152 * lists
153 *
154 */
155
156
157/* list of links */
158ul.menu {
159  list-style-type  : none;
160}
161
162ul.menu li {
163  padding-top      : 0.3em;
164  padding-bottom   : 0.3em;
165}
166
167
168
169/* @@ I should probably use child selector here */
170/* list with multiline list-elements */
171ul.multiline li, ol.multiline li, dl.multiline dd {
172  padding-top      : 0.16em;
173  padding-bottom   : 0.16em;
174
175  font-size        : 11px;
176  line-height      : 15px;
177}
178
179
180
181/* C++ code snippet */
182pre.cxx {
183  margin-top       : 0em;
184  margin-bottom    : 2em;
185
186  margin-left      : 1em;
187}
188
189/* SQL code snippet */
190pre.sql {
191  margin-top       : 0em;
192  margin-bottom    : 2em;
193
194  margin-left      : 1em;
195}
196
197/* make code snippet */
198pre.make {
199  margin-top       : 0em;
200  margin-bottom    : 2em;
201
202  margin-left      : 1em;
203}
204
205/* terminal output */
206pre.term {
207  margin-top       : 0em;
208  margin-bottom    : 2em;
209
210  margin-left      : 1em;
211}
212
213
214/* Images */
215div.center {
216  text-align: center;
217}
218
219/* Document info. */
220#docinfo {
221  margin-top: 4em;
222  border-top: 1px dashed #000000;
223  font-size: 70%;
224}
225
226
227/* Footnote */
228
229#footnote {
230  margin-top       : 2.5em;
231}
232
233#footnote hr, hr.footnote {
234  margin-left: 0;
235  margin-bottom: 0.6em;
236  width: 8em;
237  border-top: 1px solid #000000;
238  border-right: none;
239  border-bottom: none;
240  border-left: none;
241
242}
243
244#footnote ol {
245  margin-left: 0;
246  padding-left: 1.45em;
247}
248
249#footnote li {
250  text-align       : left;
251  font-size        : 11px;
252  line-height      : 15px;
253
254  padding          : .4em 0 .4em 0;
255}
256
257
258/* Normal table with borders, etc. */
259
260table.std {
261  margin: 2em 0 2em 0;
262
263  border-collapse   : collapse;
264  border            : 1px solid;
265  border-color      : #000000;
266
267  font-size        : 11px;
268  line-height      : 14px;
269}
270
271table.std th, table.std td {
272  border  : 1px solid;
273  padding : 0.6em 0.8em 0.6em 0.8em;
274}
275
276table.std th {
277  background : #cde8f6;
278}
279
280table.std td {
281  text-align: left;
282}
283
284
285/*
286 * "item | description" table.
287 *
288 */
289
290table.description {
291  border-style      : none;
292  border-collapse   : separate;
293  border-spacing    : 0;
294
295  font-size         : 13px;
296
297  margin            : 0.6em 0 0.6em 0;
298  padding           : 0 0 0 0;
299}
300
301table.description tr {
302  padding           : 0 0 0 0;
303  margin            : 0 0 0 0;
304}
305
306table.description * td, table.description * th {
307  border-style      : none;
308  margin            : 0 0 0 0;
309  vertical-align    : top;
310}
311
312table.description * th {
313  font-weight       : normal;
314  padding           : 0.4em 1em 0.4em 0;
315  text-align        : left;
316  white-space       : nowrap;
317  background        : none;
318}
319
320table.description * td {
321  padding           : 0.4em 0 0.4em 1em;
322  text-align        : justify;
323}
324