div#menu_vert {
   padding-left: 0;
   margin-left: 1em;
   border-right:solid 1px #000000;}
#menu_vert a , #menu_vert h3 {
	font-size:0.9em;
	color: #000000;
	padding: 0.2em;
	margin: 0.2em;
	display:block;  }
/* third level has some padding to have it stand out */
div#menu_vert ul ul ul {}
/* menu li block */
#menu_vert li {
   list-style: none;
   margin: 0;
   display: block; }
#menu_vert ul ul li {
   border: none; }
/** fix stupid ie bug with display:block; **/
* html #menu_vert li a { height: 1%; } 
* html #menu_vert li hr { height: 1%; }
/** end fix **/

/******************************************/
div#menu_vert a {
	text-decoration:none;
	min-height:1em; /* Fixes IE7 whitespace bug */ }
div#menu_vert ul ul a {
   padding-left:2em; }
div#menu_vert ul ul ul a {
   padding-left:3em;}
/**********************************/
div#menu_vert a:hover { background-color: #CCCCCC; color:#FFFFFF; }
div#menu_vert a.activeparent:hover {}
/*********************************/
div#menu_vert li a.activeparent { }
div#menu_vert ul ul li a.activeparent {}
/***************************************/
div#menu_vert ul h3 { /* selezione */
	font-weight:bold;
	font-size:0.9em;  }

/*
div#menu_vert ul h3:before { content:"< ";}
div#menu_vert ul h3:after { content:" >";}
*/

div#menu_vert ul ul h3 {
	padding-left:2em; }
div#menu_vert ul ul ul h3 {
	padding-left:3em; }
/***********************************************/
/* section header */
div#menu_vert li.sectionheader {
   border-right: none;
   font-weight: bold;
   padding: 2em;
   line-height: 1em;
   text-align:center;
  }
/*********************************************/
/* separator */
div#menu_vert li.separator {
   height: 1px !important;
   margin-top: -1px;
   margin-bottom: 0;
   padding:2px 0 2px 0;
   overflow:hidden !important;
   line-height:1px !important;
   font-size:1px; /* for ie */
}
div#menu_vert li.separator hr {
   display: none; /* this is for accessibility */}