body {  font-size: small; margin-right: 10px; margin-left: 10px; line-height: normal; font-family: "verdana", "helvetica", "sans-serif"}
p  { font-size: small; font-style: italic; list-style-type: disc; font-family: "verdana", "helvetica", "sans-serif"}
h1 {  font-size: larger; font-family: "verdana", "helvetica", "sans-serif"}
h2 {  font-size: medium; font-family: "verdana", "helvetica", "sans-serif"}
h3 {  font-size: small; font-style: italic; list-style-type: disc; font-family: "verdana", "helvetica", "sans-serif"}
a {  text-decoration: none}
a:hover {  color: #FF0000; text-decoration: underline}
.mainmenu {  font-size: small}
h1.mainmenu {  font-weight: bold; font-size: small; font-family: "verdana", "helvetica", "sans-serif"}
h2.mainmenu {  font: bold small "verdana", "helvetica", "sans-serif"; color: #666666}
table.toppage {  font: small "verdana", "helvetica", "sans-serif"}
ul.nobullets {  list-style: none; font-size: small; left: 0px; clip:  rect(   )}
table {  font-size: small; font-family: "verdana", "helvetica", "sans-serif"}
ul.mainmenu { list-style: none; font-size: x-small; left: 0px; clip: rect( ); margin: 0px 0px 0px 5px; padding: 0px 0px ; font-family: "verdana", "helvetica", "sans-serif"}