1
/* css 2.0 stylesheet for DocBook generated XHTML */
2
/* (c) 2002 e-novative GmbH. */
3
/* http://www.e-novative.de */
5
/* Note that due to different browser interpretation of the standards, the */
6
/* html pages still do not look exactly the same on every browser and system */
8
/* This css file formats the html generated by the eDE */
9
/* Please modify this file according to your personal preferences. */
11
/* In many spots, this file is not too well-documented currently. However, */
12
/* we will improve documentation over the time */
14
/* basic settings for the document body, some elements inherit from these */
17
/* foreground color = black */
20
/* background-color = white */
21
background-color: #fff;
23
/* center the body content in browser window */
24
/* Note: this is different from text-align */
25
/* margin depends on browser window width */
28
/* padding ("inner margin") leaves space between */
29
/* browser window border and html body content */
32
/* width depends on browser window width */
36
/* alternative: left */
41
/* set font for most elements */
42
/* p: paragraphs (regular text, docbook <para>) */
44
/* body: anything else */
45
body, p, td, li, dt, dd,
47
/* set font size and line height */
48
/* list of fonts provides fallbacks if a font is not present */
49
font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
53
/* pararaphs (docbook: <para>) */
56
/* set font size and line height */
57
/* list of fonts provides fallbacks if a font is not present */
58
font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
60
/* margin settings are top - right - bottom - left (think clockwise) */
61
margin: 0 15px 6px 15px;
66
/* docbook: <imageobject> */
72
/* no padding ("inner margin") */
80
/* emphasized text, can occur in most places */
81
/* docbook: <emphasis> */
84
/* bold face, higher number is more bold */
91
/* sect(ion)1 title */
94
/* list of fonts provides fallbacks if a font is not present */
95
font-family: Verdana, Arial, Helvetica, Sans-Serif;
97
/* font size, relative to body font size */
100
/* bold face, higher number is more bold */
103
/* underlined text */
104
text-decoration: none;
106
/* foreground color: dark blue */
109
/* background color: gray */
110
background-color: #ddd;
112
/* margin settings are top - right - bottom - left (think clockwise) */
113
margin: 15px 0 15px 0;
115
/* padding ("inner margin") settings are top - right - bottom - left */
116
/* (think clockwise) */
117
padding: 12px 15px 12px 15px;
121
/* sect(ion)2 title */
124
/* list of fonts provides fallbacks if a font is not present */
125
font-family: Verdana, Arial, Helvetica, Sans-Serif;
127
/* font size, relative to body font size */
130
/* bold face, higher number is more bold */
133
/* underlined text */
134
text-decoration: none;
136
/* foreground color: dark blue */
139
/* background-color is a very light grey */
140
/* alternative: #fff = white */
141
background-color: #fefefe;
143
/* padding ("inner margin") settings are top - right - bottom - left */
144
/* (think clockwise) */
149
/* sect(ion)3 title */
152
/* list of fonts provides fallbacks if a font is not present */
153
font-family: Verdana, Arial, Helvetica, Sans-Serif;
155
/* font size, relative to body font size */
158
/* bold face, higher number is more bold */
161
/* underlined text */
162
text-decoration: none;
164
/* foreground color: dark blue */
167
/* background-color is a very light grey */
168
/* alternative: #fff = white */
169
background-color: #fefefe;
171
/* padding ("inner margin") settings are top - right - bottom - left */
172
/* (think clockwise) */
177
/* sect(ion)4 title */
180
/* list of fonts provides fallbacks if a font is not present */
181
font-family: Verdana, Arial, Helvetica, Sans-Serif;
183
/* font size, relative to body font size */
186
/* bold face, higher number is more bold */
190
text-decoration: none ;
192
/* foreground color: dark blue */
195
/* background-color is a very light grey */
196
/* alternative: #fff = white */
197
background-color: #fefefe;
199
/* padding ("inner margin") settings are top - right - bottom - left */
200
/* (think clockwise) */
208
/* define special font for e-novative logo */
209
/* list of fonts provides fallbacks in case selected fonts are not present */
212
font-family: Lucida Console, Verdana, Arial, Sans-Serif;
216
/* the following formats refer to the docbook tags of the same name */
217
/* for more information, see the docbook reference at */
218
/* http://www.docbook.org/tdg/en/html/docbook.html */
228
.calloutlist, .figure, .table
230
/* margin settings are top - right - bottom - left (think clockwise) */
231
margin: 15px 30px 15px 30px;
236
.itemizedlist, .variablelist {
237
/* margin settings are top - right - bottom - left (think clockwise) */
238
margin: 15px 30px 15px 15px;
241
/* blockquote formatting is a little more complex */
242
/* because block quotes are rendered as a html table */
244
/* blockquote block */
247
/* override bottom margin, the other margins are inherited */
251
.blockquote p, .blockquote td
253
/* set font size and line height */
254
/* list of fonts provides fallbacks if a font is not present */
255
font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
257
/* bold face, higher number is more bold */
264
/* override bottom margin, the other margins are inherited */
268
.epigraph p, .epigraph td
270
/* set font size and line height */
271
/* list of fonts provides fallbacks if a font is not present */
272
font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif;
274
/* bold face, higher number is more bold */
280
/* custom e-novative header and footer that are displayed on all pages */
281
#customheader, #customfooter
283
/* list of fonts provides fallbacks if a font is not present */
284
font-family: Verdana, Arial, Helvetica, Sans-Serif;
286
/* font size, relative to body font size */
289
/* line height, relative to body font size */
294
vertical-align: middle;
296
background-color: #009;
300
/* leave more space between last paragraph and footer */
301
/* some browser do not add up the bottom margin of the prior element */
302
/* and the top margin of the footer */
309
/* table { margin: 0 15px 6px 15px; } */
312
/* title and navigation links in header and footer */
313
.navheader th, .navheader td, .navfooter th, .navfooter td
320
/* table of contents, list of figures and list of tables */
321
.toc, .list-of-figures, .list-of-tables
323
/* margin settings are top - right - bottom - left (think clockwise) */
324
margin: 15px 30px 15px 15px;
328
/* the "headings" are rendered as paragraphs */
329
.toc p, .list-of-figures p, .list-of-tables p
338
/* margin settings are top - right - bottom - left (think clockwise) */
339
margin: 5px 5px 5px 5px;
341
/* no padding ("inner border") */
353
.figure p, .table p, .example p
361
border-bottom: 1px dashed #00cc00;
367
/* admonition headings */
368
div.note, div.important, div.warning, div.caution, div.tip
370
padding: 0px 15px 0px 0px;
373
div.note th, div.important th, div.warning th, div.caution th, div.tip th
375
/* set font size and line height */
376
/* list of fonts provides fallbacks if a font is not present */
377
font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
381
text-decoration: underline;
387
.note p, .important p, .warning p, .caution p, .tip p
392
.note img, .important img, .warning img, .caution img, .tip img
394
margin: 0px 15px 0px 15px;
401
/* non-proportional font */
402
/* list of fonts provides fallbacks if a font is not present */
403
font-family: "Courier New", Courier, Monospace;
408
/* background color: gray */
409
background-color: #eee;
414
/* gray dotted border, 1 px wide */
415
border: 1px dotted #ddd;
417
/* padding ("inner margin") settings are top - right - bottom - left */
418
/* (think clockwise) */
419
padding: 6px 6px 6px 6px;
426
/* heading1 is used for document title */
429
/* list of fonts provides fallbacks if a font is not present */
430
font-family: Verdana, Arial, Helvetica, Sans-Serif;
432
/* font size, relative to body font size */
435
/* bold face, higher number is more bold */
438
/* line height, relative to body line height */
444
/* foreground color: dark blue */
447
/* background color: gray */
448
background-color: #ddd;
450
/* margin settings are top - right - bottom - left (think clockwise) */
451
margin: 15px 0 15px 0;
453
/* no padding ("inner margin") */
459
/* author on title page is formatted as h3 */
460
/* these settings overwrite the regular h3 settings */
463
/* set font size and line height */
464
/* list of fonts provides fallbacks in case selected fonts are not present */
465
font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
467
/* bold face, higher number is more bold */
470
/* do not underline */
471
text-decoration: none;
479
/* background-color is a very light grey */
480
/* alternative: #fff = white */
481
background-color: #fefefe;
483
/* margin settings are top - right - bottom - left (think clockwise) */
484
margin: 0 15px 15px 15px;
494
/* copyright and date */
497
/* list of fonts provides fallbacks if a font is not present */
498
font-family: Verdana, Arial, Helvetica, Sans-Serif;
500
/* font size, relative to body font size */
506
/* margin settings are top - right - bottom - left (think clockwise) */
507
margin: 15px 15px 15px 15px;
509
/* no padding ("inner margin") */
517
/* legal notice box */
520
/* list of fonts provides fallbacks if a font is not present */
521
font-family: Verdana, Arial, Helvetica, Sans-Serif;
523
/* font size, relative to body font size */
529
/* background color: gray */
530
background-color: #ddd;
532
/* margin settings are top - right - bottom - left (think clockwise) */
533
margin: 10px 45px 10px 45px;
535
/* padding ("inner margin") settings are top - right - bottom - left */
536
/* (think clockwise) */
537
padding: 5px 5px 5px 5px;
539
/* solid black border, 1px wide */
540
border: 1px solid #000;
b'\\ No newline at end of file'