div.menuBar,
div.menuBar a.menuButton, a.menuButtonSelected
div.menu,
div.menu a.menuItem {
  font-family: verdana, arial, helvetica, sans-serif;
  font-size: 8pt;
  font-style: normal;
  /*font-weight: normal;*/
  font-weight: bold;
  color: #FFFFFF;
}

/* added by ACH */
div.menuBar a.menuButtonSelected {
    color:#BC6E2F;
    background-color:#FFFFFF;
    padding:7px 4px 11px 4px;
    /*border:red 1px solid;*/
}


div.menuBar {
  /*background-color: #000000;*/
  /*background-color: #333333;*/
  background-color: transparent;
  /*border: 2px outset #e0e0e0; */
  /*border:2px solid #333333;*/
  /*padding: 6px 2px 4px 2px;*/
  padding: 6px 6px 10px 0px;  
  text-align: left;
  margin: 1px;
}

div.menuBar a.menuButton {
  background-color: transparent;
  /* border: 1px solid #000000;*/
  border: 1px solid #333333;
  color: #FFFFFF;
  /*cursor: default;*/
  left: 0px;
  margin: 1px;
  /*padding: 2px 6px 2px 6px;*/
  padding: 6px 6px 6px 6px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButton:hover {
  background-color: transparent;
  /*border: 1px outset #e0e0e0;*/
  border:1px solid #333333;
  /*color: #000000;*/
  /*color: #FFFFFF;*/
  color:#A1AAB3;
}

div.menuBar a.menuButtonActive,
div.menuBar a.menuButtonActive:hover {
  background-color: #333333;
  /*border: 1px inset #e0e0e0;*/
  /*border: 1px solid #333333;*/
  /*margin:0px;*/
  color: #A1AAB3;
  
  /* these cause a "depressed button" effect */
  /*
  left: 1px;
  top: 1px;
  */
}

div.menu {
  /*background-color: #000000;*/
  background-color: #333333;
  /*border: 2px outset #333333;*/
  border: 2px solid #333333;
  left: 0px;
  /*padding: 0px 1px 1px 0px;*/
  padding: 2px 0px 0px 0px;
  margin-left:-3px; /* new margin added to fix menu "gap" next to highlighted menu */
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
  

}

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

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #585F66;
  /*color: #ffffff;*/
  color:#FFFFFF;
}

div.menu a.menuItem span.menuItemText {}

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

div.menu div.menuItemSep {
  /*border: 1px inset #e0e0e0;*/
  border: 1px solid #333333;
  /*margin: 4px 2px;*/
  margin:0px 2px;
}