#MenuV {
	height: 100%;
}
#MenuV UL {
	list-style: square;
	padding: 0;
	padding-right:0.2em;
	margin: 0;
}
#MenuV LI {
	margin-bottom: 0.5em;
}
#MenuV LI:hover {
	background-color: white;
}


#MenuV A {
	color: black;
}
#MenuV H1 {
   margin: 0;
	margin-left: 10px;
	margin-top: 0.5em;
	margin-bottom: 0.75em;
	padding: 0;
	padding-top: 0em;
}
#MenuV H2 {
   margin: 0;
	margin-left: 10px;
	margin-top: 0.5em;
	margin-bottom: 0.25em;
	padding: 0;
	padding-top: 0em;
}




#MenuV A.index {
	color: black;
   display: block;
	font-variant: small-caps;
	font-size: 150%;
	font-weight: bold;
	padding-left: 0;
}
#MenuV P.MenuVItem {
	height: 0px;
	left: 0px;
	overflow: hidden;
   position: absolute;
	top: 0px;
	width: 0px;
/*	visibility: hidden; */
	speak: normal;
}




#MenuV P.Terminology {
	font-size: 120%;
	font-weight: bold;
	font-variant: small-caps;
	margin: 0;
	padding: 0;	
	margin-left: 5px;
	margin-bottom: 5px;
}

#MenuV DL {
	font-family: sans-serif; 
}
#MenuV DT {
	font-weight: bold;
	font-variant: small-caps;
   margin-left: 5px;
	margin-top: 10px;
}
#MenuV DD {
	font-size: 7pt;
   padding: 0;
	margin-left: 5px;
   margin-right: 5px;
}
#MenuV DD Span {
   display: block;
	font-weight: bold;
	font-style: italic;
	text-align: right;
	margin: 0;
	padding: 0;
}
#MenuV DD P {
   margin: 0;
	padding: 0;
	text-align: right;
}
#MenuV DL DD A {
	font-weight: bold;
   float: right;
	background-color: #EEF4F5;
	margin-bottom: 0.5em;
	text-align: right;
}
/*
 * Vertical Menu, with JavaScript, i.e. the drop down menu
 *
 *
 */
DIV.JSMenuV
{
   background-color: #2B2B2B;
	border: 1px solid gray;
   color: white;
   font-family: Arial, Helvetica, sans-serif;
   font-size: 8pt;
	font-weight: bold;
   left: 0px;
	padding: 0;
   position: absolute;
   top: 0px;
   visibility: hidden;
   z-index: 4;
}
DIV.JSMenuV A.JSMenuVItem
{
    color: white;
    PADDING-RIGHT: 1em;
    DISPLAY: block;
    PADDING-LEFT: 1em;
    PADDING-BOTTOM: 3px;
    PADDING-TOP: 3px;
    WHITE-SPACE: nowrap;
    TEXT-DECORATION: none
}
DIV.JSMenuV A.JSMenuVItem:hover
{
    text-decoration: underline;
}
DIV.JSMenuV A.JSMenuVItem:active
{
   background-color: yellow;
   color: black;
}
DIV.JSMenuV DIV.JSMenuVSep
{
    BORDER-RIGHT: #e0e0e0 1px inset;
    BORDER-TOP: #e0e0e0 1px inset;
    MARGIN: 4px 2px;
    BORDER-LEFT: #e0e0e0 1px inset;
    BORDER-BOTTOM: #e0e0e0 1px inset
}