--- /dev/null
+/* 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])
+
+*/
+
+/* 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: 20px;
+
+ /* 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: 0 15px 6px 15px;
+}
+
+
+/* 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;
+}
+
+
+.navheader
+{
+ padding: 6px 6px 0px 6px;
+ border-bottom: none;
+ background: #649CCC;
+ vertical-align: top;
+ z-index: 2;
+ visibility: visible;
+ margin: -20px -20px 0 -20px;
+}
+
+.navfooter
+{
+ padding: 6px 6px 0px 6px;
+ border-bottom: none;
+ background: #649CCC;
+ vertical-align: bottom;
+ z-index: 2;
+ visibility: visible;
+ margin: 0px -20px -20px -20px;
+}
+
+
+/* table { margin: 0 15px 6px 15px; } */
+
+
+/* title and navigation links in header and footer */
+.navheader th, .navheader td, .navfooter th, .navfooter td
+{
+ font: 12px/18px Arial, Helvetica, Sans-Serif;
+ font-size: 15px;
+ 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;
+}
+*/
+
+
+div.highlights p
+{
+ padding: 5px 15px 10px 0px;
+ font-size: 125%;
+ font-weight: 600;
+}
+
+/* admonition headings */
+div.note, div.important, div.warning, div.caution, div.tip, div.hightlights
+{
+ 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: 0;
+
+ /* gray dotted border, 1 px wide */
+ border: 1px dotted #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;
+}
+
+span.database
+{
+ font-weight: 600;
+
+}
+
+span.guibutton
+{
+ font-family: Verdana, Arial, Helvetica, Sans-Serif;
+ font-weight: 400;
+ background-color: #eee;
+ border: 1px solid #000;
+ padding: 1px 2px 1px 2px;
+}
+
+span.guilabel
+{
+ font-family: Verdana, Arial, Helvetica, Sans-Serif;
+ font-weight: 400;
+ background-color: #fff;
+ border: 1px solid #333;
+ padding: 1px 2px 1px 2px;
+}