body {
  background: #D3F7AE;
  color: teal;
  font-family: sans-serif;
  font-size: 10pt;
  margin-right: 0px;
  font-weight: normal;
  white-space: pre;	
  text-align: left;
}
a.menu {
  border: medium outset ;
  color: black;
  text-decoration: none;
  background-color: #B5E97E;
  width: 200px;
}
a.menu:focus {
  border: medium inset ;
  color: navy;
  background-color: buttonhighlight;
}
a.menu:active {
  border: medium inset ;
  color: navy;
  background-color: buttonhighlight;
}
a.menu:hover {
  border: medium inset ;
  color: navy;
  background-color: buttonhighlight;
}