body {font-size:x-small}
td {font-size:x-small}
tt {font-size:x-small}
div.sub {margin-left:10pt}
A:link {color:"#003399"}
A:visited {color:"#003399"}
A:hover {text-decoration:"underline";color:"#6699FF"}
A:active {text-decoration:"underline";color:"#6699FF"}