body { background: white; font-family: Verdana, Arial, Helvetica; font-size: 10pt; margin: 15px; }
p { font-family: Verdana, Arial, Helvetica; font-size: 10pt; }
td { font-family: Verdana, Arial, Helvetica; font-size: 10pt; }
div { font-family: Verdana, Arial, Helvetica; font-size: 10pt; }
dl { font-family: Verdana, Arial, Helvetica; font-size: 10pt; }
ul { font-family: Verdana, Arial, Helvetica; font-size: 10pt; }
.title { padding-top: 10px; font-family: Verdana, Arial, Helvetica; font-size: 14pt; font-weight: bold; }
.big_title { padding-top: 5px; font-family: Verdana, Arial, Helvetica; font-size: 20pt; font-weight: bold; }
.small { font-family: Verdana, Arial, Helvetica; font-size: 8pt; }
.vsmall { font-family: Verdana, Arial, Helvetica; font-size: 4pt; }
hr { border: 1px; }
.codebox { padding: 12px 6px 12px 6px; border: 1px; border-style: solid; border-color: black; background: #E5E5E5; width: 700px;}
pre.code { padding: 0px; margin: 0px; }
pre.smallcode { padding: 0px; margin: 0px; font-size: 8pt; }
td.shade { background: #e0e0e0; }

a:active { color: blue; }
a:visited { color: blue; }
a:link { color: blue; }
a:hover { color: blue; }

.menu { font-size: 10pt; font-weight: bold; }
.menu a:link { color: blue; text-decoration: none; }
.menu a:active { color: blue; text-decoration: none; }
.menu a:hover { color: blue; text-decoration: none; }
.menu a:visited { color: blue; text-decoration: none; }