1 /* css 2.0 stylesheet for DocBook generated XHTML */
2 /* (c) 2002 e-novative GmbH. */
3 /* http://www.e-novative.de */
6 17-03-2003 - 21-03-2003
7 Changes : Bruno.Vernay@LaPoste.net
8 - Replaced the title background with underline (better distinguish from
10 - distinguish the h2 (from chapter) and the h2 from section
15 /* Note that due to different browser interpretation of the standards, the */
16 /* html pages still do not look exactly the same on every browser and system */
18 /* This css file formats the html generated by the eDE */
19 /* Please modify this file according to your personal preferences. */
21 /* In many spots, this file is not too well-documented currently. However, */
22 /* we will improve documentation over the time */
24 /* basic settings for the document body, some elements inherit from these */
27 /* foreground color = black */
30 /* background-color = white */
31 background-color: #fff;
33 /* center the body content in browser window */
34 /* Note: this is different from text-align */
35 /* margin depends on browser window width */
38 /* padding ("inner margin") leaves space between */
39 /* browser window border and html body content */
42 /* width depends on browser window width */
46 /* alternative: left */
51 /* set font for most elements */
52 /* p: paragraphs (regular text, docbook <para>) */
54 /* body: anything else */
55 body, p, td, li, dt, dd,
57 /* set font size and line height */
58 /* list of fonts provides fallbacks if a font is not present */
59 font: 12px/18px Verdana
, Arial
, Helvetica
, Sans-Serif
;
63 /* pararaphs (docbook: <para>) */
66 /* set font size and line height */
67 /* list of fonts provides fallbacks if a font is not present */
68 font: 12px/18px Verdana
, Arial
, Helvetica
, Sans-Serif
;
70 /* margin settings are top - right - bottom - left (think clockwise) */
71 margin: 0 15px 6px 15px;
76 /* docbook: <imageobject> */
82 /* no padding ("inner margin") */
90 /* emphasized text, can occur in most places */
91 /* docbook: <emphasis> */
94 /* bold face, higher number is more bold */
101 /* sect(ion)1 title */
104 /* list of fonts provides fallbacks if a font is not present */
105 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
107 /* font size, relative to body font size */
110 /* bold face, higher number is more bold */
113 /* underlined text */
114 text-decoration: none
;
116 /* foreground color: dark blue */
119 /* background color: gray */
120 /* background-color: #ddd; */
121 border-bottom: solid
2px;
123 /* margin settings are top - right - bottom - left (think clockwise) */
124 margin: 15px 0 15px 0;
126 /* padding ("inner margin") settings are top - right - bottom - left */
127 /* (think clockwise) */
128 padding: 12px 15px 12px 15px;
132 /* modif BV 14-03-2003 :
133 permet de distinguer titre de chapitre et titre de section */
134 /* section title après un chapitre */
135 div[class
=section
] * h2
137 /* list of fonts provides fallbacks if a font is not present */
138 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
140 /* font size, relative to body font size */
143 /* bold face, higher number is more bold */
146 /* underlined text */
147 text-decoration: none
;
149 /* foreground color: dark blue */
152 /* background color: gray */
153 /* background-color: #f0f0f0; */
154 border-bottom: solid
1px;
156 /* padding ("inner margin") settings are top - right - bottom - left */
157 /* (think clockwise) */
161 /* sect(ion)2 title */
164 /* list of fonts provides fallbacks if a font is not present */
165 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
167 /* font size, relative to body font size */
170 /* bold face, higher number is more bold */
173 /* underlined text */
174 text-decoration: underline
;
176 /* foreground color: dark blue */
179 /* background-color is a very light grey */
180 /* alternative: #fff = white */
181 /* background-color: #fafafa; */
183 /* padding ("inner margin") settings are top - right - bottom - left */
184 /* (think clockwise) */
189 /* sect(ion)3 title */
192 /* list of fonts provides fallbacks if a font is not present */
193 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
195 /* font size, relative to body font size */
198 /* bold face, higher number is more bold */
201 /* underlined text */
202 text-decoration: underline
;
204 /* foreground color: dark blue */
207 /* background-color is a very light grey */
208 /* alternative: #fff = white */
209 /* background-color: #fefefe; */
211 /* padding ("inner margin") settings are top - right - bottom - left */
212 /* (think clockwise) */
217 /* sect(ion)4 title */
220 /* list of fonts provides fallbacks if a font is not present */
221 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
223 /* font size, relative to body font size */
226 /* bold face, higher number is more bold */
230 text-decoration: underline
;
232 /* foreground color: dark blue */
235 /* background-color is a very light grey */
236 /* alternative: #fff = white */
237 /* background-color: #fefefe; */
239 /* padding ("inner margin") settings are top - right - bottom - left */
240 /* (think clockwise) */
248 /* define special font for e-novative logo */
249 /* list of fonts provides fallbacks in case selected fonts are not present */
252 font-family: Lucida Console
, Verdana
, Arial
, Sans-Serif
;
256 /* the following formats refer to the docbook tags of the same name */
257 /* for more information, see the docbook reference at */
258 /* http://www.docbook.org/tdg/en/html/docbook.html */
268 .calloutlist
, .figure
, .table
270 /* margin settings are top - right - bottom - left (think clockwise) */
271 margin: 15px 30px 15px 30px;
276 .itemizedlist, .variablelist {
277 /* margin settings are top - right - bottom - left (think clockwise) */
278 margin: 15px 30px 15px 15px;
281 /* blockquote formatting is a little more complex */
282 /* because block quotes are rendered as a html table */
284 /* blockquote block */
287 /* override bottom margin, the other margins are inherited */
291 .blockquote p, .blockquote td
293 /* set font size and line height */
294 /* list of fonts provides fallbacks if a font is not present */
295 font: 12px/18px Verdana
, Arial
, Helvetica
, Sans-Serif
;
297 /* bold face, higher number is more bold */
304 /* override bottom margin, the other margins are inherited */
308 .epigraph
p, .epigraph
td
310 /* set font size and line height */
311 /* list of fonts provides fallbacks if a font is not present */
312 font: 10px/14px Verdana
, Arial
, Helvetica
, Sans-Serif
;
314 /* bold face, higher number is more bold */
320 /* custom e-novative header and footer that are displayed on all pages */
321 #customheader, #customfooter
323 /* list of fonts provides fallbacks if a font is not present */
324 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
326 /* font size, relative to body font size */
329 /* line height, relative to body font size */
334 vertical-align: middle
;
336 background-color: #009;
340 /* leave more space between last paragraph and footer */
341 /* some browser do not add up the bottom margin of the prior element */
342 /* and the top margin of the footer */
349 /* table { margin: 0 15px 6px 15px; } */
352 /* title and navigation links in header and footer */
353 .navheader
th, .navheader
td, .navfooter
th, .navfooter
td
360 /* table of contents, list of figures and list of tables */
361 .toc
, .list-of-figures
, .list-of-tables
363 /* margin settings are top - right - bottom - left (think clockwise) */
364 margin: 15px 30px 15px 15px;
368 /* the "headings" are rendered as paragraphs */
369 .toc
p, .list-of-figures
p, .list-of-tables
p
378 /* margin settings are top - right - bottom - left (think clockwise) */
379 margin: 5px 5px 5px 5px;
381 /* no padding ("inner border") */
393 .figure
p, .table p, .example
p
401 border-bottom: 1px dashed #00cc00;
407 /* admonition headings */
408 div.note
, div.important
, div.warning
, div.caution
, div.tip
410 padding: 0px 15px 0px 0px;
413 div.note
th, div.important
th, div.warning
th, div.caution
th, div.tip
th
415 /* set font size and line height */
416 /* list of fonts provides fallbacks if a font is not present */
417 font: 12px/18px Verdana
, Arial
, Helvetica
, Sans-Serif
;
421 text-decoration: underline
;
427 .note
p, .important
p, .warning
p, .caution
p, .tip
p
432 .note
img, .important
img, .warning
img, .caution
img, .tip
img
434 margin: 0px 15px 0px 15px;
441 /* non-proportional font */
442 /* list of fonts provides fallbacks if a font is not present */
443 font-family: "Courier New", Courier
, Monospace
;
448 /* background color: gray */
449 background-color: #eee;
454 /* gray dotted border, 1 px wide */
455 border: 1px dotted
#ddd;
457 /* padding ("inner margin") settings are top - right - bottom - left */
458 /* (think clockwise) */
459 padding: 6px 6px 6px 6px;
466 /* heading1 is used for document title */
469 /* list of fonts provides fallbacks if a font is not present */
470 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
472 /* font size, relative to body font size */
475 /* bold face, higher number is more bold */
478 /* line height, relative to body line height */
484 /* foreground color: dark blue */
487 /* background color: gray */
488 background-color: #ddd;
490 /* margin settings are top - right - bottom - left (think clockwise) */
491 margin: 15px 0 15px 0;
493 /* no padding ("inner margin") */
499 /* author on title page is formatted as h3 */
500 /* these settings overwrite the regular h3 settings */
503 /* set font size and line height */
504 /* list of fonts provides fallbacks in case selected fonts are not present */
505 font: 12px/18px Verdana
, Arial
, Helvetica
, Sans-Serif
;
507 /* bold face, higher number is more bold */
510 /* do not underline */
511 text-decoration: none
;
519 /* background-color is a very light grey */
520 /* alternative: #fff = white */
521 background-color: #fefefe;
523 /* margin settings are top - right - bottom - left (think clockwise) */
524 margin: 0 15px 15px 15px;
534 /* copyright and date */
537 /* list of fonts provides fallbacks if a font is not present */
538 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
540 /* font size, relative to body font size */
546 /* margin settings are top - right - bottom - left (think clockwise) */
547 margin: 15px 15px 15px 15px;
549 /* no padding ("inner margin") */
557 /* legal notice box */
560 /* list of fonts provides fallbacks if a font is not present */
561 font-family: Verdana
, Arial
, Helvetica
, Sans-Serif
;
563 /* font size, relative to body font size */
569 /* background color: gray */
570 background-color: #ddd;
572 /* margin settings are top - right - bottom - left (think clockwise) */
573 margin: 10px 45px 10px 45px;
575 /* padding ("inner margin") settings are top - right - bottom - left */
576 /* (think clockwise) */
577 padding: 5px 5px 5px 5px;
579 /* solid black border, 1px wide */
580 border: 1px solid
#000;