.menu {
  font-size:12pt;
/*  display:block;*/
}
.menu a{
/*  display: block;
  margin-bottom:2px;
  font-size:12pt;
  padding: 0px;
  margin:0px;
  border:solid #e8cc94;
  border-width: 1px;*/
  text-decoration: none;
  padding-left:0.5em;
  padding-right:1.5em;
}
#page {
  padding-left: 1em;
  padding-right: 1em;
  font-size:12pt;
  padding-top:1.5em;
}