div.menu, div.menu a.menuItem {
  font-family: Arial, sans-serif;
  font-size: 12px;
  font-style: normal;
  font-weight: normal;
  color: #000000;
}

div.menu {
  background-color: #000000;
  border: 1px solid black;
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}

div.menu a.menuItem {
  display: block;
  padding: 3px 1em;
  text-decoration: none;
  white-space: nowrap;
}

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

div.menu a.menuItem span.menuItemText {}

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

div.menu div.menuItemSep {
  border-top: 1px solid #909090;
  border-bottom: 1px solid #f0f0f0;
  margin: 4px 2px;
}