.hide_me {
	display: none;
}


/* ===== Menu ===== */
#menu {
	background-color: #0066CC; 
}
#menu {
	display: none;
}

#menu {
	padding: 7px 0px 7px 0px; 
	margin-left: 190;
	col_or: white;
	/* color defined in color-specific sheet */
}

a.menuButton {
	color: white; 
	text-decoration: none; 
	font-weight: bold;
	position: relative;
	padding: 1px;
	border-right: 2px solid white;
}

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

div.menu a.menuItem {
  font-size:9pt;
  color: black;
  cursor: arrow;
  display: block;
  padding: 1px 1em 0em 1em;
  text-decoration: none;
  white-space: nowrap;
  border-bottom: 1px solid #888;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background: #ffc;
  color: black;
  border-bottom: 1px solid black;
}

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

div.menu div.menuItemSep {
  border-top: 1px dotted black;
  margin: 0;
}