body {
	color: #000;
	font-family: "Times New Roman", Times, serif;
	background: #fff;
}


/* NAVIGATION/MENU SETTINGS */
a.mainlevel {
	color: black;
}
#active_menu {
	color: red;
}


div#menue_aussen {
	display: none;
}


div#menue_oben {
	display: none;
}