/* ======================================================================= */
/* default.css                                                             */
/* ----------------------------------------------------------------------- */
/* The default style of the LaTeX-to-HTML converter output.                */
/*                                                                         */
/* (c) 2004   Lutz Kettner                                                 */
/* $Id: modern.css 53914 2010-01-29 16:18:35Z spion $                     */
/* $Date: 2010-01-29 17:18:35 +0100 (Fri, 29 Jan 2010) $                   */
/* ======================================================================= */

/* ----------------------------------------------------------------------- */
/* General Body                                                            */
/* ----------------------------------------------------------------------- */

body {
  background-color: #ffffff;
  font-family: arial, sans-serif;
  text-align:justify;
  color:black;
}

a:link    { text-decoration: none;}
a:visited { text-decoration: none;}
a:hover   { text-decoration: underline;}
a:active  { text-decoration: underline;}

a.TocInactive:link    { color: #AAAAAA }
a.TocInactive:visited { color: #AAAAAA }
a.TocInactive:hover   { color: blue }
a.TocInactive:active  { color: blue }

/* ----------------------------------------------------------------------- */
/* Title Page                                                              */
/* ----------------------------------------------------------------------- */

h1.TitlePageTitle      { font-size:24pt; font-weight: bold; }
p.TitlePageAuthor      { font-size:18pt; }
p.TitlePageDate        { font-size:18pt; }

/* ----------------------------------------------------------------------- */
/* Table of Contents                                                       */
/* ----------------------------------------------------------------------- */

table.TocOuterTable    {  }
td.TocGroupOddLeft,
td.TocEmptyOddLeft,
td.TocGroupOddRight,
td.TocEmptyOddRight    { background-color: #eeeeee; }
td.TocGroupEvenLeft,
td.TocEmptyEvenLeft,
td.TocGroupEvenRight,
td.TocEmptyEvenRight   {  }

h3.TocPart             { }
h2.PkgDescPart         { background-color: #ffffa0; }

table.TocInnerTable    {  }
td.TocIndent           {  }
td.TocTitle,
td.TocContents,
td.TocIndex,
td.TocBibliography,
 *.TocChapter          { font-weight: bold; }
td.TocSection          {  }
td.TocSubsection       {  }
td.TocSubsubsection    {  }
td.TocParagraph        {  }
td.TocSubparagraph     {  }

a.TocLinkTitle         { font-weight: bold; }
a.TocLinkContents      { font-weight: bold; }
a.TocLinkIndex         { font-weight: bold; }
a.TocLinkBibliography  { font-weight: bold; }
a.TocLinkPkgDesc       { font-weight: bold; }
a.TocLinkPart          {  }
a.TocLinkChapter       {  }
a.TocLinkSection       {  }
a.TocLinkSubsection    {  }
a.TocLinkSubsubsection {  }
a.TocLinkParagraph     {  }
a.TocLinkSubparagraph  {  }

/* ----------------------------------------------------------------------- */
/* Navigation Header and Footer                                            */
/* ----------------------------------------------------------------------- */
div.NavBottom,
div.NavAddress,
div.NavTOC,
div.NavTop {
    background-color: #ffff90;
    border: solid thin;
    padding: 0.5em;
    margin: 0.3em;
}

div.NavNext,
div.NavPrev {
    background-color: #c0ffc0;
    border: solid thin;
    padding: 0.5em;
    margin: 0.3em;
}

/* ----------------------------------------------------------------------- */
/* cc_manual.sty                                                           */
/* ----------------------------------------------------------------------- */
div.AdvancedBlock      {
    border: solid thin;
    padding: 1.5em 0em 0em 5px;
    margin: 1em 0;
    background-color: #c0d0ff;
    background-image: url(style/Advanced.gif);
    background-position: top left;
    background-repeat: no-repeat;
}

div.DeprecatedBlock      {
    border: solid thin;
    padding: 1.5em 0em 0em 5px;
    margin: 1em 0;
    background-color: #FFE4B5;
    background-image: url(style/Deprecated.gif);
    background-position: top left;
    background-repeat: no-repeat;
}

div.DebugBlock {
    border: solid thin;
    padding: 1.5em 0em 0em 5px;
    margin: 1em 0;
    background-color: #FFCCFF;
    background-image: url(style/Debug.gif);
    background-position: top left;
    background-repeat: no-repeat;
}

/* ----------------------------------------------------------------------- */
/* verbatim and example code environments                                  */
/* ----------------------------------------------------------------------- */
pre.Verbatim           { }
pre.ExampleCode        { background-color: #e8e8e8; }

/* ----------------------------------------------------------------------- */
/* textsc environment                                                      */
/* ----------------------------------------------------------------------- */
.textsc { font-variant: small-caps; }

/* ----------------------------------------------------------------------- */
/* math environment                                                        */
/* ----------------------------------------------------------------------- */
.math {
       font-family: serif;
       /* In case of font problem, here is a recommendation I found on the web : */
       /* font-family: "Unicode Symbols", "Times New Roman", "Apple Symbols", "Arial Unicode MS"; */
       font-style: italic;
       font-size: 120%;
}
.cal { font-family: "lucida calligraphy"; }
.sym {
       font-family: "Arial Unicode MS", arial, serif;
       font-style: normal; }
.big_sym {
       font-family: "Arial Unicode MS", arial, serif;
       font-style: normal;
       font-size: 150%;
}
.bigbig_sym {
       font-family: "Arial Unicode MS", arial, serif;
       font-style: normal;
       font-size: 200%;
}

.subsup { font-size: 70%; }
sub { font-size: 80%; }
sup { font-size: 80%; }

tr.frac { font-size: 1% }

.mbox {
       font-family: arial, sans-serif;
       font-style: normal;
}

/* ----------------------------------------------------------------------- */
/* TeX and LaTeX display (taken from TEX4ht)                               */
/* ----------------------------------------------------------------------- */
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }