body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 14px
}
h1 {  font-size: 24px}
h2 {  font-size: 18px}
h3 {  font-size: 16px; font-weight: bold}
.Ueberschrift {  font-family: "Times New Roman", Times, serif; font-size: 36px; font-weight: bold; color: #660000}
.plain {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-style: normal;
	font-weight: normal;
	color: #000000;
}
.Programmierstil {
	font-family: Courier, "Courier New";
	font-style: normal;
	color: #0000CC;
	font-size: 12px;
	font-weight: bold;
}
.Menuestil {
	font-family: "Lucida Grande";
	background-color: #FFFFFF;
	font-size: 11px;
}
.download {
	font-family: Geneva, Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-style: italic;
	color: #006600;
	background-color: #FFFF99;
	text-decoration: none;
}
h4 {
	font-size: 14px;
	font-weight: bold;
}
.Ueberschriftklein {
	font-size: x-small;
	color: #660000;
}
.unwesentlich {
	color: #666666;
}
a:visited {
	color: #993399;
}
.tiefstellen {
	position: relative;
	height: -3px;
	vertical-align: sub;
}
.hochstellen {
	position: relative;
	height: 3px;
	vertical-align: sub;
	font-size: smaller;
}
.plain fett rot {
	font-weight: bold;
	color: #F00;
}
.plain p strong .plain {
	font-weight: bold;
	color: #000000;
}
.plain p strong {
	color: #000000;
}
.gruen {
	color: #090;
	font-family: "Courier New", Courier, monospace;
}