body {margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; font-family:Arial, Helvetica, sans-serif; font-size:12px; color:#333333; background-color:#5A6D7B;}
td,div {font-family:Arial, Helvetica, sans-serif;font-size:12px;}
a {font-family:Arial, Helvetica;font-size:11px;color:#333333;text-decoration:none;}
a:hover {color:#990000;}

.largetitle {font-size:17px; color:#fff; font-weight:bold;}

.toplinks {color:#fff;}
a.toplinks:hover {color:#fff;border-bottom:1px dashed #fff;}

.titles1 {font-size:16px;font-weight:bold;color:#6D6D6D;display:block;border-bottom:solid #FFCC33 1px;margin-bottom:10px;margin-top:10px;}
.titles2 {font-size:14px;font-weight:bold;color:#000000;display:block;margin-top:10px;}
.titles3 {font-size:12px;color:#950000;display:block;margin-top:10px;}
a.titles3:hover {color:#000000;background-color:#B5DFFF;}
.titles4 {font-size:12px;font-weight:bold;color:#0B54A5;display:block;}
a.titles4:hover {color:#000000;}
.titles5 {font-size:18px;font-weight:bold;color:#003A98;}

.links1 {color:#1075DE;}
a.links1:hover {color:#000000;}
.links2 {color:#993138;}
a.links2:hover {color:#000000;}
.links3 {color:#666666;}
a.links3:hover {color:#000000;}

.pub {font-family:Verdana, Arial, Helvetica, sans-serif;font-size:12px;color:#666666;}


.menu1 {display:block;font-size:12px;font-weight:bold;color:#990000;}
a.menu1:hover {color:#000000;}
.menu2 {display:block;font-size:11px;color:#666666;padding:1px;padding-left:10px;border:1px solid #F8FAFC;font-weight:bold;}
a.menu2:hover {color:#000000;background-color:#9CCDFF;border:1px solid #000000;}

.redtext {color:#993138;}
.greytext {color:#666666;}
.bluetext {color:#1075DE;}

.divgris {border-top:solid #e0e0e0 1px;margin-top:15px;margin-bottom:25px;}
.divgris2 {border-top:solid #e0e0e0 1px;margin-top:15px;margin-bottom:5px;}
.divsearch {display:none;}

pre
{
color: #000000
}

.symbols
{
color: #0077dd
}

.preproc
{
color: #a900a9
}

.integer
{
color: #ff0032
}

.floatpt
{
color: #ff23a6
}

.dblquot
{
color: #00b800
}

.sinquot
{
color: #00b86b
}

.keyword
{
color: #224fff;
font-weight: bold
}

.keytype
{
color: #ff9933;
font-weight: bold
}

.comment
{
color: #666666;
font-style: italic
}