div.menu,
div.menu a.menuItem {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 8pt;
  font-style: normal;
  font-weight: normal;
  color: #000;
}

div.menu {
  background-color: #42637f;
  border-top: 1px solid #688299;
  border-bottom: 1px solid #2d4459;
  border-right: 2px solid #688299;
  border-left: 2px solid #2d4459;
  left: 0px;
/*  padding: 0px 1px 1px 0px; */
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}

div.menu a.menuItem {
  color: #fff;
  cursor: default;
  display: block;
  text-decoration: none;
  white-space: nowrap;
  border-top: 1px solid #688299;
border-bottom: 1px solid #2d4459;
}

div.menu a.menuItem {
    padding: 3px 1em;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #fae8c0;
  color: black;
}