body        {background-color: #ffffff; color: #000000;}
td          {font-family: verdana,geneva,arial,helvetica,sans-serif; font-size: small;}
td.code     {border-width:1pt; border-style:solid; border-color:#999999; background-color:#FFFFDD; font-family: lucidatypewriter,courier,fixed}    
td.desc     {border-width:1pt; border-style:solid; border-color:#999999; background-color:#FFFFFF; }    
a:link      {background-color: transparent; color: #202070; text-decoration:none;}
a:visited   {background-color: transparent; color: #552088; text-decoration:none;}
a:active    {background-color: transparent; color: #ff0000; text-decoration:none;}
a:hover     {background-color: transparent; color: #2020aa; text-decoration:underline;}
tr.leftbar  {background-color: #000080; color: #000000; vertical-align: middle;}
td.titlebar {color: #ffffff; background-color: #000080; font-family: verdana,geneva,arial,helvetica,sans-serif; font-size: small;}
a.titlebar  {color: #dddddd; background-color: #000080; text-decoration: none; font-family: verdana,geneva,arial,helvetica,sans-serif; font-size: small;}
td.header1  {color: #000000; background-color: #aaccee; font-size: large; font-family: verdana,geneva,arial,helvetica,sans-serif;}
td.header2  {color: #000000; background-color: #aaccee; font-size: medium; font-family: verdana,geneva,arial,helvetica,sans-serif;}
H1 { text-align: center; }
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 }
DL.el { margin-left: -1cm }
DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
DIV.ah { background-color: black; margin-bottom: 3; margin-top: 3 }
TD.md { background-color: #aaccee }
DIV.groupHeader { margin-left: 16; margin-top: 12; margin-bottom: 6; font-weight: bold }
DIV.groupText { margin-left: 16; font-style: italic; font-size: smaller }
FONT.keyword       { color: #008000 }
FONT.keywordtype   { color: #604020 }
FONT.keywordflow   { color: #e08000 }
FONT.comment       { color: #800000 }
FONT.preprocessor  { color: #806020 }
FONT.stringliteral { color: #002080 }
FONT.charliteral   { color: #008080 }