.mlmenu {
}


.horizontal ul{
	margin: 0;
	list-style-type: none;
	padding: 0px;
	
	display: block;
	height: 1.4em;
	
}
.horizontal ul li{
	float: left;
	display: block;
}
.horizontal ul li a{
	text-decoration: none;
	float: left;
	display: block;
	padding: .1em 10px;
	border: none;

}
.horizontal li li a{
	border: none;

}
.horizontal ul li ul{
	position: absolute; 
	margin-top: 15px;
	border: 1px solid #333333;
	display: none;
	background-color:#FFFFFF;
	height: 23px;
	padding-top: 5px;
}
.horizontal ul li ul li {
float:left;
height: 22px;
}
.horizontal ul li ul li a{
/*padding: 10px;*/
color:#333333;

}

.horizontal ul li ul li a:hover{
	text-decoration: underline;
}

/*This section makes the menu not work in non-javascript enabled browsers by not showing the menu by default-This can be worked around by making top level links point to a sitemap*/
/*Not sure if I recommend this or not*/
.inaccesible li ul{
	display: none;
}
/*Arrow code - looks like <a class="haschild" href="#">Text <span>Arrow</span></a> can be turned on/off with arrow class*/
.arrow a span{
padding-left: 1em;
font-size: 85%;  
}
.arrow a:hover span{
padding-left: 2em;
}
.arrow a span.noshow{
	visibility: hidden;
}
/*Plus code*/
.plus a span{
	padding-left: .5em;
}

/*colors for menu*/

/*Allesvan theme*/

.allesvan li a{
	padding: 0;
	margin: 0;
	background-color: #FFF;
	color: #000;
	border-color: #000;
	text-decoration: underline;
}
.allesvan li a:hover{
	background-color: #FFF;
	color:  #000;
	border-color: #000;
	text-decoration: underline;
}

.allesvan ul{
	border-color: #000;
}

/*BlackWhite theme*/
.blackwhite li a{
	background-color: white;
	color: black;
	border-color: black;
}
.blackwhite li a:hover{
	background-color: black;
	color: white;
	border-color: black;
}
.blackwhite ul{
	border-color: black;
}

/*BlueWhite theme */
.bluewhite li a{
	background-color: white;
	color: #000033;
	border-color: #000033;
}
.bluewhite li a:hover{
	background-color: #000033;
	color: white;
	border-color: #000033;
}
.bluewhite ul{
	border-color: #000033;
}