body
{
   background-color: #ffffff;
   color: #000000;
   font-family: Verdana,Helvetica,sans-serif;
   font-size: small;
}

a { background-color: #ffffff; color: #0000c0; text-decoration: underline }
a:hover { background-color: #ffffff; color: #2020ff!important; text-decoration: underline }
a:visited { background-color: #ffffff; color: #0000c0}
table { border-width: 0; font-size: small }
h1 { color: #000000; background-color: #B2C2E8; font-size: x-large; border-style: solid; border-width: 1px; padding-bottom: 1px; padding-left: 10px }
h2 { color: #000000; background-color: #B2C2E8; font-size: large; border-style: solid; border-width: 1px; margin-top: 20px; padding-bottom: 1px; padding-left: 10px }
h2.highlight { color: #000000; background-color: #8CFA8C }
.sectionhead a { background-color: #FEFF81; color: #0000c0 }
.sectionhead a:visited {background-color: #FEFF81; color: #0000c0 }
.sectionhead a:hover { background-color: #FEFF81; color: #2020ff!important; text-decoration: underline } 
.example { margin-left: 10px; margin-right: 10px }

td.nav { padding: 10px; }
.l1 { background-color: #e8e8f8 }
.l1c { background-color: #e8e8f8; text-align: center }
.r1 { background-color: #e0e0f0 }
.l2 { background-color: #f0f0f0 }
.l2c { background-color: #f0f0f0; text-align: center }
.r2 { background-color: #e8e8e8 }

.l1 a { background-color: #e8e8f8 }
.l1c a { background-color: #e8e8f8; text-align: center }
.r1 a { background-color: #e0e0f0 }
.l2 a { background-color: #f0f0f0 }
.l2c a { background-color: #f0f0f0; text-align: center }
.r2 a { background-color: #e8e8e8 }

pre { font-size: medium; font-family: 'Courier New',Courier,monospace; background-color: #ffffc0; border: 1px solid black; }

div.small { font-size: x-small }
div.footer {background-color: #38549A; color: #ffffff; font-size: x-small; border: 1px solid black; border-style: solid; border-width: 1px; padding: 2px;}
.footer a { background-color: #38549A; color: #ffff00 }
.footer a:visited {background-color: #38549A; color: #ffff00 }
.footer a:hover { background-color: #38549A; color: #ffff80!important; text-decoration: underline }   
.adtext { font-size: x-small }