div.menu {
  font-size: 86%;
  background-color: #F5D9AC;
  border: 2px outset #F5D9AC;
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}

div.menu a.menuItem {
  color: #000000;
  cursor: default;
  display: block;
  padding: 3px 1em;
  text-decoration: none;
  white-space: nowrap;
  font-weight:normal;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #9DBBE1;
  color: #ffffff;
  z-index: 102;
}

div.menu a.menuItem span.menuItemText {}

div.menu a.menuItem span.menuItemArrow {
  margin-right: -.75em;
}

div.menu div.menuItemSep {
  border: 1px inset #e0e0e0;
  margin: 4px 2px;
}