body { background-color:#6B8E23; color: #000000;
         margin:1em 3em; padding: 0;
}
.a { line-height: 1.8em;
}

a:link    { color: red; }
a:visited { color: blue; }
a:hover   { border-color: blue;
  background-color: #FFCCCC; }

div.navi {
  background-color: #6699FF;
  padding: 3px;
  font-size: 80%;
  width: 100%;
  }
div.navi a {
  color: white;
  text-decoration: none;
  padding: 0px 0.3em;
  }