body {
	color: black; background-color: white;
	font-size: 100.01%;
	font-family: Verdana, Helvetica, Arial, sans-serif;
	margin: 0; padding: 1em 0;
}

ul#Navigation {
	font-size: 0.93em;
	float: left; width: 15em;
	margin: 0; padding: 0;
	border: 0;
	background-color: #eee;
}
ul#Navigation li {
	list-style: none;
	margin: 0; padding: 0.2em;
}
ul#Navigation a {
	display: block;
	padding: 0.2em;
	font-weight: bold;
}
ul#Navigation a:link {
	color: black; background-color: #eee;
}
ul#Navigation a:visited {
	color: #444; background-color: #eee;
}
ul#Navigation a:hover {
	color: black; background-color: white;
}
ul#Navigation a:active {
	color: white; background-color: gray;
}

div#Inhalt {
	margin-left: 15em;
	padding: 0 1em;
	border: 0;
}
div#Inhalt h1 {
	font-size: 1.5em;
	margin: 0 0 1em;
}
div#Inhalt h2 {
	font-size: 1.2em;
	margin: 0 0 1em;
}
div#Inhalt p {
	font-size: 1em;
	margin: 1em 0;
}

pre#pgray {
        font-family: Courier;
        font-weight: bold;
        font-size: 1.1em;
        color: black;
        background-color: #eee;
}

table#select th {
	font-size: 0.85em;
}

table#select td {
	font-size: 0.9em;
}

.red {
	color: red;
}