div#menuarea div.menuline {
	border-width: 1px;
	border-style: none none solid none;
	margin-bottom: 1ex;
}

div#menuarea td {
	vertical-align: bottom;
	padding-left: 10px;
}

div#menuarea a {
	font-weight: bold;
	display: block;
	text-decoration: none;
	border-style: solid solid none solid;
	border-width: 1px;
	padding: 0ex 1ex 0ex 1ex;
	position: relative;
	top: 1px;
}

div#menuarea div.menuhead div.menubody {
	padding-top: 1px;
	width: auto;
}

div#menuarea div.menuhead div.menubody a {
	position: relative;
	top: -1px;
	border-style: solid;
	border-width: 1px;
}


/*
 * Farbsystem
 * Coloring scheme 
 */

div#menuarea a:visited,
div#menuarea a:link,
div#menuarea td.upside a:link,
div#menuarea .upside .menuhead .menubody a,
div#menuarea a {
	color: white;
	background-color: navy;
}

div#menuarea .upside .menuhead .menubody a:hover,
div#menuarea a:hover,
div#menuarea td.upside a,
div#menuarea a {
	color: navy;
	background-color: white;
}

div#menuarea a:visited,
div#menuarea a:link,
div#menuarea td.upside a:link,
div#menuarea .upside .menuhead .menubody a,
div.menuline,
div#menuarea div.menubody a,
div#menuarea a {
	border-color: navy;
}

div#menuarea td.upside div.menubody a:hover,
div#menuarea div.menubody a:hover {
	border-top-color: white;
}