/* ----- menu aan de linkerkant ---------*/

#menu {
	float: left;
	border-left: dashed 1px Gray;
	border-right: dashed 1px Gray;
	width: 156px;
}

#menu ul {
	margin: 0px;
	padding: 2px;
}

.highlight {
font-weight: bold;
color: red;
}


#menu li {
	list-style: none;
	border-bottom: dashed 1px Gray;
	padding: 2px;
}

#menu ul a {
	color: #081f5b;
	font-size: 13px;
	font-weight: bold;
	text-decoration: none;
	display: block;
}

#menu ul a:hover {	
	color: grey;
}

#menu ul ul {	
	border: none;
	padding: 0;
}

#menu ul ul li{
	border: 0;
}

#menu ul ul a {
	border: 0;
	font-size: 11px;
	font-weight: bold;
	padding-left: 10px;
}

#menu ul ul a:hover{	
	background: #081f5b;
	color: #FFFFFF;
}

#menu ul ul ul{	
	border: none;
	padding: 0;
}

#menu ul ul ul li{
	border: 0;
}

#menu ul ul ul a {
	border: 0;
	font-size: 11px;
	font-weight: bold;
	padding-left: 20px;
}

#menu ul ul ul a:hover{	
	background: #081f5b;
	color: #FFFFFF;
}

#menu ul ul ul ul{	
	border: none;
	padding: 0;
}

#menu ul ul ul ul li{
	border: 0;
}

#menu ul ul ul ul a {
	border: 0;
	font-size: 11px;
	font-weight: bold;
	padding-left: 30px;
}

#menu ul ul ul ul a:hover{	
	background: #081f5b;
	color: #FFFFFF;
}


/* ----- menu aan de rechterkant ---------*/

#right ul {
	margin: 0px;
	padding: 2px;
}

#right li {
	list-style: none;
	margin-left: 4px;
	margin-bottom: 6px;
}

#right ul a {
	color: #808080;
	font-size: 12px;
	font-weight: bold;
	line-height: 14px;
	text-decoration: none;
	display: block;
}

#right ul a:hover {
	color: #CC012A;
}