div.menuBar, div.menuBarFooter,
div.menuBar a.menuButton,
div.menu,
div.menu a.menuItem {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 10pt;						/* 18 April 2015 changed from 9 to 10pt;  */	
  font-style: normal;
  /* removed 17 April 2015
  font-weight: bold;
  */
  color: #000000;
  line-height:normal;
}

div.menuBar, div.menuBarFooter{
  background-color: #336699;
  border: 2px solid; 
  border-color: #0099CC #003366 #003366 #0099CC; 
  /*padding: 2px 2px 2px 2px;  relaced this line with one below 9 Jan 2014 to correct IE11 125 magnification alignment issue*/
  padding: 2px 2px 3px 2px;
  text-align: left;
}

div.menuBarFooter {
	border-right: 1px none;
	border-right-color:#003366;
}


div.menuBar a.menuButtonSeparator {
  background-color: transparent;

  /*
  color: #C0C0C0;
  */
  color: white;
  cursor: default;
  left: 0px;
  margin: 1px;
  padding: 1px 4px 1px 4px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButton {
  background-color: transparent;
  border: 1px solid #336699;
  color: white;
  cursor: default;
  left: 0px;
  margin: 1px;
  padding: 1px 4px 1px 2px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButton:hover {
/*   background-color: #204162;
  border: 1px solid; 
  border-color: black #0099CC #0099CC black; 
   margin: 1px;
  left: 1px;
  top: 1px;
*/
  color: yellow;

}

div.menuBar a.menuButtonSelected {
   border: 1px solid #336699;
   font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 10pt;											/* 18 April 2015 changed from 9 to 10pt; */	
  font-style: normal;
  /* removed 17 April 2015
  font-weight: bold;
  */
  color: yellow;
  cursor: default;
  left: 0px;
  margin: 1px;
  padding: 1px 4px 1px 2px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButtonActive,
div.menuBar a.menuButtonActive:hover {
  background-color: #204162;
  border: 1px solid; 
  border-color: black #0099CC #0099CC black; 
  color: yellow;
   margin: 1px;
  left: 1px;
  top: 1px;
  padding-top:2px; /* 11 Feb 2011 to stop button oscillation with IE9 when cursor right on the border.Button depressed, then no longer under mouse cursor, so pops up. */
}

div.menu {
  font-size: 8pt;	/* 15 Feb 2011 - necessary if go to 9pt for buttons IE9 */	
  background-color: #336699;
  border: 2px solid; 
  border-color: #0099CC #003366 #003366 #0099CC; 
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
 /* 28 Feb 2011 */
  box-shadow: 3px 3px 3px rgba(0,0,0,0.4);
  -moz-box-shadow: 3px 3px 3px rgba(0,0,0,0.5);
  -webkit-box-shadow: 3px 3px 3px rgba(0,0,0,0.5);

}

div.menu a.menuItem {
  color: white;
  cursor: default;
  display: block;
  padding: 3px 1em;
  font-weight: normal;
 font-size: 9pt;		 /*18 April 2015 */		
  text-decoration: none;
  white-space: nowrap;
}


div.menu a.menuItemHeading {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 9pt;							/* 29 July 2012 changed from 8pt to 9pt due to new version of Firefox. No difference for IE; larger for FF and Chrome. 25 Oct 2012 changed to 8.6 pt for IE10; 18 May 2013 changed back to 9pt */	
  color: yellow;
  cursor: default;
  display: block;
  padding: 3px 1em;
  /* removed 17 April 2015
  font-weight: bold;
  */
  text-decoration: none;
  white-space: nowrap;
}

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

div.menu a.menuItem span.menuItemText {
	display: inline-block; /*8 Aug 2009: fix IE8 menu arrow issue. Previously this was empty */
}

div.menu a.menuItem span.menuItemArrow {
  margin-right: -.5em; 
  display: inline-block; /*8 Aug 2009: fix IE8 menu arrow issue. Previously this was empty */
  color: white;
  font-size: 75%
}

div.menu div.menuItemSep {
  border-top: 1px solid #333333;
  border-bottom: 1px solid #0099CC;


  margin: 4px 2px;
}