div.menubar {
  background-color: #transparent;
  border: 1px solid #1b1b88;
  padding: 0px 0px 2px 0px;
  text-align: center;
  zwidth: 559px ; 
  color: #000044;
}

div.menubar a.menubutton {
  background-color: #dddddd;
  border: 1px solid;
  border-color: #f0f0f0 #666666 #666666 #f0f0f0;
  font-family: sans-serif ; 
  font-size: 10pt;
  font-style: bold;
  font-weight: bold;
  color: #000044;
  text-decoration: none;
  margin: 10px ; 
  padding: 0px 10px 0px 10px;

}

div.menubar a.menubutton:hover {
  background-color: #1b1b88;
  color: #FFFFFF;
  border: 1px solid;
  border-color: #666666 #f0f0f0 #f0f0f0 #666666;

}