h1, h2, h3 { font-family: sans-serif; color: #005A9C }
h1 { font-size: 200% sans-serif}
h2 { font-size: 140% }
h3 { font-size: 120% }
p, table, td, th {  font-family: verdana, Arial, sans-serif; font-size: 10px}
a { color: blue }
a:visited { color: blue }
a:link { color: blue }
a:hover { color: red }
pre {  font-family: "Courier New", Courier, mono; font-size: 10pt}
code {  font-family: "Courier New", Courier, mono; font-size: 10pt}
sup {  font-family: arial,helvetica,geneva; font-size: 10px}
li {  font-family: arial, helvetica, geneva; font-size: 10pt}
body {  font-family: arial, helvetica, geneva; font-size: 10pt; clip:   rect(   ); margin-top: 5mm; margin-left: 3mm; width: 600px}
.indextop { font-size: x-large;; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold}
.indexsub { font-size: xx-small;; font-family: Arial, Helvetica, sans-serif; color: #8080FF}