body {font-family: Verdana; font-size: 12px}
p {}
td {border-bottom: dotted 3px black}
a:visited {color: blue}
a.menu {color: white; font-size: 11pt;}
a.menu:visited {color: white}
a.menu:hover {text-decoration: overline}
.highlight {background-color: yellow}
.boxed {border: solid 1px black;}
h1 {font-size: 10pt; margin-bottom: 0px; padding-bottom: 0px}