/* <style type="text/css">  handig voor highlight */
#top_container {height:198px;}
#topMenu {
	height: 24px;
	background-image:none;
	background-color:#5C5C5C;
}
#topMenu_div {
	border-left: 2px solid #fff;
	bottom: 0px;
}
#topMenu div {
	float:left;
}
#topMenu a {
	height: 24px;
	padding: 5px 10px 2px 10px;
	border-width: 0px 2px 0px 0px;
	border-color:  #fff; 
	background-color: transparent;
	color: #fff;
}
#topMenu #current {
	color:#fff;
}
#topMenu a:hover {	
	color: #5C5C5C;
}
div.menu2 {
	border: 0px;
	margin-left: 1px;
	padding: 0px;
	height: 24px;
}

div.menu2 a.WinItem {  
	padding: 6px 1em;
	background-color: #9B042C;
	
}
div.menu2 a.WinItem:hover {
	color: #5C5C5C;
}
div.menu2 {
	margin-left: 2px;
}