.menuButtonInact {
  color: #333333;
  background-color: #F6F6FA;
  display: block;
  padding: 3px 0px 3px 0px;
}

div.menuBar {
  position: relative;
  float: right;
  font-size: 1.2em;
  margin: 0px;
  padding: 0px;
}

a.menuButton,
a.menuButton:visited,
a.menuButton:active {
  display: inline-block;
  color: #CCCCCC;
  text-decoration: none;
  z-index: 900;
  padding: 5px 7px 5px 9px;
  border: 1px solid #646464;
}

a.menuButton:hover,
a.menuButtonActive,
a.menuButtonActive:hover {
  display: inline-block;
  color: #FFFFFF;
  background-color: #838383;
  text-decoration: none;
  border: 1px solid #333333;
}

div.menu {
  position: absolute;
  display: block;
  z-index: 900;
  top: 0px;
  left: 0px;
  visibility: hidden;
  font-family: Arial, Helvetica, sans-serif;
  background-color: #999999;
  padding: 0px;
  margin: 0px;
  border-top: 1px solid #333333;
  border-left: 1px solid #333333;
  border-right: 1px solid #333333;
}

a.menuItem,
a.menuItem:link,
a.menuItem:visited,
a.menuItem:active {
  font-style: normal;
  font-weight: bold;
  font-size: 1.0em;
  text-align: left;
  color: #000000;
  background-color: #CCCCCC;
  border-bottom: 1px solid #333333;
  display: block;
  padding: 5px 12px 5px 10px;
  text-decoration: none;
  white-space: nowrap;
}

a.menuItem:hover,
a.menuItemHighlight {
  color: #000000;
  background-color: #E5E5E5;
  text-decoration: none;
}

.menuItemInact {
  color: #333333;
  background-color: #999999;
  display: block;
  padding: 5px 10px 5px 10px;
  text-decoration: none;
  white-space: nowrap;
}

a.menuItem span.menuItemText {}

a.menuItem span.menuItemArrow {
  margin-right: -0.75em;
}

div.menuItemSep {
  border: 1px inset #333333;
  margin: 0px 0px 0px 0px;
}

.no_menu {
}