/* panel_menu: start */

/* set style of menu panel  */
div#panel_menu { float: left; width:15%; height: 100%; padding: 0 2px 0 0;  overflow: auto; border: 0; 
      font-family: "Tahoma", "Arial", "Helvetica", sans-serif;
	font-size: 10px; font-weight: bold; 
	background-color: #3333CC; margin: 0; }  /* colour was #3333FF  */
        /* For IE */	* html div#panel_menu {height: 99.2%;}

/* set basic style for all lists */
#menu { margin: 0px; }	

/* set basic style for all list items */
#menu li {list-style: none; display: block; margin: 0px 0px 0px -40px;  padding: 1px 1px 1px 2px;
	color: #FFFFFF;      /* applies to plain text (if any, not to the text of the "a" tag), and its box showing behind the LI) */
	background-color: yellow;
	border-bottom: 1px solid #990000; } /* bottom border reddish brown */  /* background-color was #3333FF  */
			/* For IE */	* html #menu li { margin: 0px 0px 1px 0px;}

/* for level 1 items only */
#menu ul>li {border-bottom: 2px solid; }

/* override styles for levels 2 and 3 items */
#menu li li { margin: 0px 0px 0px -37px;
	background-color: #C0C0C0;}  /* b/g Silver */
#menu li li li {font-weight: normal; font-size: 9px;
	background-color: #B0E0E6;} /* b/g Powder Blue */
 
/* set basic style for all selected list items, and override for levels 2 and 3 */
#menu .selected {border-bottom: 0px; background-color: #8FBC8F;}
#menu li .selected {background-color: #FFFFFF;}
#menu li li .selected { border-bottom: 0px; background-color:  #FFFFFF;}
/* Link states for the menu are in common.css, where link states for all the links are coded. */

/* panel_menu: end */