body {
 color: black;
 background-color: #B5DBFE }
A:link {
 color: #0000FF;
 background-color: #B5DBFE }
A:visited {
 color: #000088;
 background-color: #B5DBFE }
div.logo {
 color: black;
 background-image: url(images/logoback.jpg);
 background-repeat: repeat-x;
 background-color: #B5DBFE;
 padding-left: 0;
 padding-right: 0 }
td.newsline {
 color: black;
 background-color: white;
 padding: 0.5em }
td.menu {
 width: 22ex }
ul.nav {
 list-style-type: none;
 font-size: larger;
 margin-left: 0.5em;
 margin-right: 0.5em;
 padding-left: 0 }
ul.nav ul {
 list-style-type: none;
 font-size: smaller;
 margin-left: 0.5em;
 margin-right: 0.5em;
 padding-left: 0 }
ul.nav A { text-decoration: none }
ul.nav A:hover { text-decoration: underline }
dl.info dt {
 font-size: larger;
 font-weight: bold }
dl.info dl dt {
 font-size: smaller;
 font-weight: bold }