body {
 background-color: #ffffcc;
 color: rgb(80, 80, 80);
# border-color: #000000;
 border-color: #ffffcc;
 border-width: 1em;
 border-style: solid;
 margin: 0;
 padding: 0.5em;
}

a:link { color: black; text-decoration: none; font-weight: bold}
a:visited { color: black; text-decoration: none; font-size: 110%; font-style: italic }
a:hover { color: black; text-decoration: none; font-size: 110%;  font-weight: bold; font-style: normal }
a:active { color: white; text-decoration: none }

.menu a:link { color: black; text-decoration: none; font-weight: normal }
.menu a:visited { color: black; text-decoration: none; font-style: normal; font-size: 100% }
.menu a:active { color: white; text-decoration: none }
.menu a:hover {color: black; text-decoration: none; font-size: 100%; font-weight: bold }

.mapmenu a:link { color: black; text-decoration: none; font-weight: normal }
.mapmenu a:visited { color: black; text-decoration: none; font-style: italic; font-size: 100% }
.mapmenu a:active { color: white; text-decoration: none }
.mapmenu a:hover {color: black; text-decoration: none; font-size: 100%; font-weight: bold; font-style: normal }

h1 { font-style: bold; font-size: 100% }

table.widetable { width: 100% }

.indent { margin-left: 3em }
.halfindent { margin-left: 2em }
.mapindent { margin-left: 1em }