body {
  border: 1px solid black;
  border-right: 0;
  background-color: #FFF;
  font-family: arial, helvetica, sans-serif;
  color: #000}

a:link {
  color: #00C}

a:visited {
  color: #909}

a:hover {
  text-decoration: underline}

.small {font-size: smaller}
.large {font-size: 150%}

.navlink:link {color: #00C}
.navlink:visited {color: #00C}
.navlink:hover {
  text-decoration: none;
  background-color: #EEF;
}
.navlink {
  font-family: arial, helvetica, sans-serif;
  font-size: smaller;
  padding-right: 8px;
  padding-left: 8px;
  border: thin solid #CCF;
  padding-top: 6px;
  padding-bottom: 4px;
}
.nolink {
  font-family: arial, helvetica, sans-serif;
  font-size: smaller;
  padding-right: 8px;
  padding-left: 8px;
  border: thin solid #999;
  padding-top: 6px;
  padding-bottom: 4px;
}

.pad {
  padding-bottom: 1em;
}