body {  font-family: Arial, Helvetica, sans-serif; margin-top: 3px; margin-right: 3px; margin-bottom: 3px; margin-left: 3px; color: #CCCCCC; background-color: #000000}
.nav {  font-size: x-small; font-weight: bold}
a.nav {  color: #FFFFFF; text-decoration: none}
.not {  font-size: xx-small; font-style: italic; color: #CCCCCC}
a:link {  color: #FFFFFF}
a:visited {  color: #FFFFFF}
a:hover {  color: #FFFFFF}