body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: x-small; margin-top: 5px; margin-bottom: 5px; color: #666666}
a {  text-decoration: none}
a:hover {  color: #990000; text-decoration: underline overline}