div#menu {
	display: block;
	padding-bottom: 10px;
	padding-left: 2px;
	padding-right: 2px;
	margin: 0;
	background-color: #F0F0F0;
	float: left;
	height: 100%;
}
div.title {
	background-image: url('../images/hintergrund.gif');
	display: block;
	color: #FFFFFF;
	font-size: 14px;
	font-weight: bold;
	padding-left: 5px;
	padding-top: 3px;
	padding-bottom: 3px;
	margin-top: 10px;
	margin-bottom: 5px;
}
div#menu ul {
	margin: 0;
	padding: 0;
}
div#menu li {
	list-style: none;
	padding: 0;
}
div#menu a {text-decoration: none; display: block; border: 1px #F0F0F0 dotted; padding: 2px; color: #000000;}
div#menu a:hover {text-decoration: none; display: block; border: 1px #000000 dotted; padding: 2px; background-color: #C0C0C0;}
div#menu a:visited {text-decoration: none; display: block; padding: 2px;}