a.menuButton,
div.menu,
div.menu a.menuItem {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 10pt;
  font-style: normal;
  font-weight: bold;
  color: #FFFFFF;
}
div.menu {
  background-color: #008080;
  border: 1px solid;
  border-color: #FFFFFF #FFFFFF #FFFFFF #FFFFFF;
  left: 0px;
  padding: 0px 0px 0px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}
div.menu a.menuItem {
  color: #FFFFFF;
  cursor: default;
  display: block;
  padding: 1px 1em;
  text-decoration: none;
  white-space: nowrap;
}
div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #FFFFFF;
  color: #008080;
}
div.menu a.menuItem span.menuItemText {}
div.menu a.menuItem span.menuItemArrow {
  margin-right: -.75em;
}
div.menu div.menuItemSep {
  border-top: 0px solid #FFFFFF;
  border-bottom: 0px solid #FFFFFF;
  margin: 0px 0px;
}
