body {font-family: verdana, helvetica, sans-serif; 
margin-right: 5%; 
margin-left: 5%;
font-size: 10pt;
line-height:150%;
}

a:hover {border-style:solid; border-width:1}
h1 {color: #993300;font-family: arial,sans-serif;line-height: 100%}
h2 {color: #993300;font-family: arial,sans-serif;line-height: 100%}
h3 {color: #993300;font-family: arial,sans-serif;line-height: 100%}
h4 {color: #993300;font-family: arial,sans-serif;line-height: 100%}
h5 {color: #993300;font-family: arial,sans-serif;line-height: 100%}

pre {background-color:#EEEEEE}
pre.new {color: #000099; background-color:#EEEEEE}
p.top {text-align: right}