@charset "utf-8";

/* Allgemeine Definitionen
----------------------------------------------- */
body {
	width: auto;
	font-family: "Times New Roman", Times, serif;
	font-size: 14pt;
	color: black;
	background: white;
}
h1 {
	font-size: 125%;
	font-weight: bold;
}
h2, h3, h4 {
	font-size: 115%;
	font-weight: normal;
}
#menu, #footer {
	display: none;
}