/* CSS Document style van het verticale menu:*/
#menuleft{
	float: left;
	width: 140px;
	height:270px;
	text-align: left;
	font-size: 80%;
	line-height: 22px;
	background-color: #003463;
}
#menuleft ul {
text-align: left;
list-style: none;
}
#menuleft a {
font: bold 11px/16px;
display: block;
border-width: 2px;
border-style: solid;
border-color: #ffe #aaab9c #ccc #fff;
background:#ffffff;
margin: 0px;
text-decoration: none;
}
#menuleft a:hover {
background: transparent;
border-color: #aaab9c #fff #fff #ccc;
}
#menuleft li {position: relative; 
}
#menuleft li#active a
		{ background: #E6E6FA;}			
#menuleft li a:hover, #menuleft li#active a:hover
		{border-color: #aaab9c #E6E6FA #E6E6FA #ccc; background: #E6E6FA	}
#menuleft
{background: #003463}					
#menuleft, #menuleft ul { margin: 0px; padding:0px; }
#menuleft a, #menuleft a:hover, #menuleft li#active a, #menuleft li a:hover, #menuleft li#active a:hover { color: #003463; palatino linotype, verdana, serif; }
div#menuleft ul ul ul,
div#menuleft ul ul li:hover ul ul
{display: none;}
div#menuleft ul ul li:hover ul,
div#menuleft ul ul ul li:hover ul
{display: block;} /*einde menu*/