div.menuBar,
div.menuBar a.menuButton,
div.menu,
div.menu a.menuItem {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12pt;
  font-style: italic;
  font-weight: bold;
  text-align: left;
}
div.menuBar {
  padding: 4px 1px 4px 1px;
  text-align: center;
  width: 900px;
}
div.menuBar a.menuButton {
  background-color: #0246a4;
  border: 2px solid #0246a4;
  color: #e2f2ff;
  left: 0px;
  margin: 2px;
  padding: 2px 6px 2px 6px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}
div.menuBar a.menuButton:hover {
color: #0246a4;
background-color: #e2f2ff;
border: 2px solid #da251d;  
}
div.menuBar a.menuButtonActive,
div.menuBar a.menuButtonActive:hover {
  background-color: #e2f2ff;
  border: 2px solid #da251d;
  color: #000000;
  left: 1px;
  top: 1px;
}
div.menu {
  background-color: #0246a4;
  border: 2px solid #da251d;
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}
div.menu a.menuItem {
  color: #e2f2ff;
  cursor: default;
  display: block;
  padding: 3px 1em;
  text-decoration: none;
  white-space: nowrap;
}
div.menu a.menuItem:hover,
div.menu a.menuItemHighlight {
  background-color: #e2f2ff;  
  color: #000000;
}
div.menu a.menuItem span.menuItemArrow {
  color: #00ff00;
  margin-right: -.75em;
}
div.menu div.menuItemSep {
  border: 1px inset #ffffff;
  margin: 4px 2px;
}