| /* css 2.0 stylesheet for DocBook generated XHTML */ | |
| /* (c) 2002 e-novative GmbH. */ | |
| /* http://www.e-novative.de */ | |
| /* | |
| 17-03-2003 - 21-03-2003 | |
| Changes : Bruno.Vernay@LaPoste.net | |
| - Replaced the title background with underline (better distinguish from | |
| programlisting.) | |
| - distinguish the h2 (from chapter) and the h2 from section | |
| (div[class=section]) | |
| */ | |
| /* | |
| 17-03-2003 - 21-03-2003 | |
| Changes : varro@mit.bme.hu | |
| - Added new style for div.highlights, div.note, etc. | |
| - Added new style for span.token | |
| - Maybe, some more minor changes | |
| */ | |
| /* Note that due to different browser interpretation of the standards, the */ | |
| /* html pages still do not look exactly the same on every browser and system */ | |
| /* This css file formats the html generated by the eDE */ | |
| /* Please modify this file according to your personal preferences. */ | |
| /* In many spots, this file is not too well-documented currently. However, */ | |
| /* we will improve documentation over the time */ | |
| /* basic settings for the document body, some elements inherit from these */ | |
| body | |
| { | |
| /* foreground color = black */ | |
| color: #000; | |
| /* background-color = white */ | |
| background-color: #fff; | |
| /* center the body content in browser window */ | |
| /* Note: this is different from text-align */ | |
| /* margin depends on browser window width */ | |
| margin: auto; | |
| /* padding ("inner margin") leaves space between */ | |
| /* browser window border and html body content */ | |
| padding: 24px; | |
| /* width depends on browser window width */ | |
| width: auto; | |
| /* text-alignment */ | |
| /* alternative: left */ | |
| text-align: justify; | |
| } | |
| /* set font for most elements */ | |
| /* p: paragraphs (regular text, docbook <para>) */ | |
| /* (...) */ | |
| /* body: anything else */ | |
| body, p, td, li, dt, dd, | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; | |
| } | |
| /* pararaphs (docbook: <para>) */ | |
| p | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 6pt 15px 6px 15px; | |
| padding-bottom: 6pt | |
| } | |
| /* images */ | |
| /* docbook: <imageobject> */ | |
| img | |
| { | |
| /* no margin */ | |
| margin: 0; | |
| /* no padding ("inner margin") */ | |
| padding: 0; | |
| /* no border */ | |
| border: 0; | |
| } | |
| /* emphasized text, can occur in most places */ | |
| /* docbook: <emphasis> */ | |
| em | |
| { | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* italic */ | |
| font-style: italic; | |
| } | |
| /* sect(ion)1 title */ | |
| h2 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 125%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* underlined text */ | |
| text-decoration: none; | |
| /* foreground color: dark blue */ | |
| color: #009; | |
| /* background color: gray */ | |
| /* background-color: #ddd; */ | |
| border-bottom: solid 2px; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 0 15px 0; | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 12px 15px 12px 15px; | |
| } | |
| /* modif BV 14-03-2003 : | |
| permet de distinguer titre de chapitre et titre de section */ | |
| /* section title après un chapitre */ | |
| div[class=section] * h2 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 110%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* underlined text */ | |
| text-decoration: none; | |
| /* foreground color: dark blue */ | |
| color: #00A; | |
| /* background color: gray */ | |
| /* background-color: #f0f0f0; */ | |
| border-bottom: solid 1px; | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 0 0 0 15px; | |
| } | |
| /* sect(ion)2 title */ | |
| h3 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 110%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* underlined text */ | |
| text-decoration: underline; | |
| /* foreground color: dark blue */ | |
| color: #009; | |
| /* background-color is a very light grey */ | |
| /* alternative: #fff = white */ | |
| /* background-color: #fafafa; */ | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 0 0 0 15px; | |
| } | |
| /* sect(ion)3 title */ | |
| h4 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 100%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* underlined text */ | |
| text-decoration: underline ; | |
| /* foreground color: dark blue */ | |
| color: #009; | |
| /* background-color is a very light grey */ | |
| /* alternative: #fff = white */ | |
| /* background-color: #fefefe; */ | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 0 0 0 15px; | |
| } | |
| /* sect(ion)4 title */ | |
| h5 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 100%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 300; | |
| /* not underlined */ | |
| text-decoration: underline ; | |
| /* foreground color: dark blue */ | |
| color: #009; | |
| /* background-color is a very light grey */ | |
| /* alternative: #fff = white */ | |
| /* background-color: #fefefe; */ | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 0 0 0 15px; | |
| } | |
| /* define special font for e-novative logo */ | |
| /* list of fonts provides fallbacks in case selected fonts are not present */ | |
| .logo | |
| { | |
| font-family: Lucida Console, Verdana, Arial, Sans-Serif; | |
| } | |
| /* the following formats refer to the docbook tags of the same name */ | |
| /* for more information, see the docbook reference at */ | |
| /* http://www.docbook.org/tdg/en/html/docbook.html */ | |
| .mediaobject | |
| { | |
| /* center */ | |
| text-align: center; | |
| } | |
| /* */ | |
| .calloutlist, .figure, .table | |
| { | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 30px 15px 30px; | |
| } | |
| /* */ | |
| .itemizedlist, .variablelist { | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 30px 15px 15px; | |
| } | |
| /* blockquote formatting is a little more complex */ | |
| /* because block quotes are rendered as a html table */ | |
| /* blockquote block */ | |
| .blockquote | |
| { | |
| /* override bottom margin, the other margins are inherited */ | |
| margin-bottom: 30px; | |
| } | |
| .blockquote p, .blockquote td | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 450; | |
| } | |
| .epigraph | |
| { | |
| /* override bottom margin, the other margins are inherited */ | |
| margin-bottom: 30px; | |
| } | |
| .epigraph p, .epigraph td | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| } | |
| /* custom e-novative header and footer that are displayed on all pages */ | |
| #customheader, #customfooter | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 80%; | |
| /* line height, relative to body font size */ | |
| line-height: 200%; | |
| text-align: center; | |
| vertical-align: middle; | |
| color: #fff; | |
| background-color: #009; | |
| } | |
| /* leave more space between last paragraph and footer */ | |
| /* some browser do not add up the bottom margin of the prior element */ | |
| /* and the top margin of the footer */ | |
| #customfooter { | |
| margin-top: 15px; | |
| } | |
| /* table { margin: 0 15px 6px 15px; } */ | |
| /* title and navigation links in header and footer */ | |
| .navheader th, .navheader td, .navfooter th, .navfooter td | |
| { | |
| font-size: 11px; | |
| font-weight: 450; | |
| } | |
| /* table of contents, list of figures and list of tables */ | |
| .toc, .list-of-figures, .list-of-tables | |
| { | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 30px 15px 15px; | |
| } | |
| /* the "headings" are rendered as paragraphs */ | |
| .toc p, .list-of-figures p, .list-of-tables p | |
| { | |
| /* no margin */ | |
| margin: 0; | |
| } | |
| .figure | |
| { | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 5px 5px 5px 5px; | |
| /* no padding ("inner border") */ | |
| padding: 0; | |
| /* no border */ | |
| border: 0; | |
| /* center text */ | |
| text-align: center; | |
| } | |
| /* figure title */ | |
| .figure p, .table p, .example p | |
| { | |
| font-size: 80%; | |
| } | |
| /* | |
| acronym { | |
| border-bottom: 1px dashed #00cc00; | |
| cursor: help; | |
| } | |
| */ | |
| /* admonition headings */ | |
| div.note, div.important, div.warning, div.caution, div.tip | |
| { | |
| padding: 0px 15px 0px 0px; | |
| } | |
| div.note th, div.important th, div.warning th, div.caution th, div.tip th | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; | |
| font-weight: 600; | |
| text-decoration: underline; | |
| /* left align */ | |
| text-align: left; | |
| } | |
| .note p, .important p, .warning p, .caution p, .tip p | |
| { | |
| margin: 0; | |
| } | |
| .note img, .important img, .warning img, .caution img, .tip img | |
| { | |
| margin: 0px 15px 0px 15px; | |
| } | |
| /* programlisting */ | |
| pre.programlisting | |
| { | |
| /* non-proportional font */ | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: "Courier New", Courier, Monospace; | |
| /* color: black */ | |
| color: #000; | |
| /* background color: gray */ | |
| background-color: #eee; | |
| /* no margin */ | |
| margin: 6pt; | |
| /* gray dotted border, 1 px wide */ | |
| /* border: 1px dotted #ddd;*/ | |
| border: 1px solid #ddd; | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 6px 6px 6px 6px; | |
| } | |
| /* title page */ | |
| /* heading1 is used for document title */ | |
| h1 | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 150%; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* line height, relative to body line height */ | |
| line-height: 250%; | |
| /* center */ | |
| text-align: center; | |
| /* foreground color: dark blue */ | |
| color: #009; | |
| /* background color: gray */ | |
| background-color: #ddd; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 0 15px 0; | |
| /* no padding ("inner margin") */ | |
| padding: 0; | |
| } | |
| /* author on title page is formatted as h3 */ | |
| /* these settings overwrite the regular h3 settings */ | |
| h3.author | |
| { | |
| /* set font size and line height */ | |
| /* list of fonts provides fallbacks in case selected fonts are not present */ | |
| font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; | |
| /* bold face, higher number is more bold */ | |
| font-weight: 600; | |
| /* do not underline */ | |
| text-decoration: none; | |
| /* center text */ | |
| text-align: center; | |
| /* color: black */ | |
| color: #000; | |
| /* background-color is a very light grey */ | |
| /* alternative: #fff = white */ | |
| background-color: #fefefe; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 0 15px 15px 15px; | |
| /* no padding */ | |
| padding: 0; | |
| /* no border */ | |
| border: 0; | |
| } | |
| /* copyright and date */ | |
| .copyright, .pubdate | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 90%; | |
| /* center */ | |
| text-align: center; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 15px 15px 15px 15px; | |
| /* no padding ("inner margin") */ | |
| padding: 0; | |
| /* no border */ | |
| border: 0; | |
| } | |
| /* legal notice box */ | |
| div.legalnotice | |
| { | |
| /* list of fonts provides fallbacks if a font is not present */ | |
| font-family: Verdana, Arial, Helvetica, Sans-Serif; | |
| /* font size, relative to body font size */ | |
| font-size: 90%; | |
| /* color: black */ | |
| color: #000; | |
| /* background color: gray */ | |
| background-color: #ddd; | |
| /* margin settings are top - right - bottom - left (think clockwise) */ | |
| margin: 10px 45px 10px 45px; | |
| /* padding ("inner margin") settings are top - right - bottom - left */ | |
| /* (think clockwise) */ | |
| padding: 5px 5px 5px 5px; | |
| /* solid black border, 1px wide */ | |
| border: 1px solid #000; | |
| } | |
| div.important | |
| { | |
| background-color: #fff0f5; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| } | |
| div.note | |
| { | |
| background-color: #eeeee0; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| } | |
| div.warning | |
| { | |
| background-color: #ffe4e1; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| } | |
| div.tip | |
| { | |
| background-color: #f0ffff; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| } | |
| div.caution | |
| { | |
| background-color: #ffdab9; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| } | |
| div.highlights | |
| { | |
| background-color: #ffffff; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| margin-top: 6pt; | |
| } | |
| div.example | |
| { | |
| background-color: #ffffff; | |
| border-style: solid; | |
| border-width: 1px; | |
| padding : 10px 10px 10px 10px; | |
| margin-top: 6pt; | |
| } | |
| span.token | |
| { | |
| color: #00aa00; | |
| font-weight: 600; | |
| } |