/* 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;
}