BODY       { background: white;   font-family: helvetica; font-size: 12px; margin: 0; }

/* for menue and title frame */
BODY.frame { background: #aaaaaa; font-family: helvetica; font-size: 12px; margin: 6px }
/* Title in title frame */
div.title { font-size: 32px; font-family: helvetica; font-weight: bold; color: #0000aa; }

H1 { font-size: 24px; font-weight: bold;color:#0000aa; }
H2 { font-size: 16px; font-weight: bold;color:#0000aa; }
H3 { font-size: 14px; font-weight: bold;color:#0000aa; }

/* links */
a { text-decoration: none; }

/* links in menue */
a.menu_level1 { text-decoration: none;  font-weight: bold; color:#0000aa;}
a.menu_level2 { text-decoration: none; color:#000000;}

a.menu_level1:hover  { color:#ff9900; }
a.menu_level2:hover  { color:#ff9900; }

a.reference { text-decoration: none; color:#000000;}
a.reference:hover { text-decoration: none; color:#ff9900;}


/* info index */

td.ib_date { font-family: helvetica; font-size: 12px; font-weight: bold;}
td.ib_news { font-family: helvetica; font-size: 12px; }

/* ---------------------- Latex2HTML ----------------------------------- */

/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; font-size: 12pt }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic; font-size: 12pt; }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold; font-size: 12pt; }

/* implement both fixed-size and relative sizes */
SMALL.XTINY             { font-size : xx-small }
SMALL.TINY              { font-size : x-small  }
SMALL.SCRIPTSIZE        { font-size : smaller  }
SMALL.FOOTNOTESIZE      { font-size : small    }
SMALL.SMALL             {  }
BIG.LARGE               {  }
BIG.XLARGE              { font-size : large    }
BIG.XXLARGE             { font-size : x-large  }
BIG.HUGE                { font-size : larger   }
BIG.XHUGE               { font-size : xx-large }

/* mathematics styles */
DIV.displaymath         { }     /* math displays */
TD.eqno                 { }     /* equation-number cells */

/* document-specific styles come next */
DIV.navigation          {   }
DIV.center              {   }
PRE.preform             {   }
SPAN.textit             { font-style: italic  }
SPAN.arabic             {   }
SPAN.textbf             { font-weight: bold  }

TD.RIL_nav { background: #eeeeee;  }
table.RIL_nav { border: 1px solid #ff9900;}
TD.RIL_caption { background: #eeeeee; border: 1px solid #ff9900; font-weight:bold; font-size:20; color:#0000aa;}
a.RIL_caption {color:#0000aa; text-decoration: none;}

A.qindex {}
A.qindexRef {}
A.el { text-decoration: none; font-weight: bold }
A.elRef { font-weight: bold }
A.code { text-decoration: none; font-weight: normal; color: #4444ee }
A.codeRef { font-weight: normal; color: #4444ee }
A:hover { text-decoration: none;}
DL.el { margin-left: -1cm }
DIV.fragment { width: 100%; border: none; background-color: #eeeeee; margin-bottom: 5px; margin-top: 5px }
DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
TD.md { background-color: #f2f2ff; font-weight: bold; }
TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
BODY { background: white }
TD.indexkey { 
   background-color: #eeeeff; 
   font-weight: bold; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
TD.indexvalue { 
   background-color: #eeeeff; 
   font-style: italic; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
span.keyword       { color: #008000 }
span.keywordtype   { color: #604020 }
span.keywordflow   { color: #e08000 }
span.comment       { color: #800000 }
span.preprocessor  { color: #806020 }
span.stringliteral { color: #002080 }
span.charliteral   { color: #008080 }