body {
font-size:100%;
font-family:times,'serif';
color: black;
background-color: rgb(128,192,192);
margin:5px 70px 5px 70px
}

body.map {
font-size:100%;
font-family:times,'serif';
color: black;
background-color: rgb(20,101,139);
background-color: rgb(0,128,128);
margin:5px 70px 5px 70px
}

h1 {font-size:200%}
h2 {font-size:140%}
h3 {font-size:110%}

ul {list-style:circle}
ol {list-style:decimal}

a:link {color:#0000FF} /* unvisited link */
a:visited {color:#800080} /* visited link */
a:hover {color:#FF00FF} /* mouse over link */
a:active {color:#000099} /* selected link */

th {
height:auto;
width:auto;
font-weight:bold;
text-align:left;
white-space:nowrap
}

td {
height:auto;
width:auto
}

td.menu {
height:16;
width:auto
}