/* CSS Document */

.navigation {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 13px;
	line-height: normal;
	font-weight: bold;
	color: #000000;
	text-decoration: none;
	display: block;
	width: 140px;
	border-top-width: 10px;
	margin: 10px;
	border-bottom: 10px;
	border-right: 10px;
	border-left: 10px;
}

.maintext {
	font-family: "DejaVu Sans";
	font-size: 13px;
	color: #000000;
	text-decoration: none;
	margin-top: 0px;
	margin-left: 10px;
	margin-bottom: 0px;
	margin-right: 0px;
}
.boldmaintext {
	font-family: "DejaVu Sans";
	font-size: 13px;
	font-weight: bold;
	text-decoration: none;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
}
.navigationrechtespalte {
	font-family: "DejaVu Sans";
	font-size: 13px;
	line-height: normal;
	font-weight: bold;
	color: #000000;
	text-decoration: none;
	background-color: #FFFFFF;
	display: block;
	margin-left: 10px;
}
.linksheader {

	font-family: "Palatino Linotype";
	font-size: 18px;
	line-height: normal;
	font-weight: bold;
	color: #000000;
	text-decoration: none;
	background-color: #FFFFFF;
	display: block;
	margin-left: 10px;
}