body {
background-color:#ffffe6;>
font-family: "Times New Roman" ; serif;
font-size: 12pt;
}

form { font-family: Arial; font-size: 12pt; }

h1 { font-family: Times New Roman; font-size: 24pt; }
h2 { font-family: Times New Roman; font-size: 20pt; }
h3 { font-family: Times New Roman; font-size: 16pt; }
h4 { font-family: Times New Roman; font-size: 14pt; }
h5 { font-family: Times New Roman; font-size: 12pt; }
h6 { font-family: Times New Roman; font-size: 10pt; }
h7 { font-family: Times New Roman; font-size:  8pt; }

ul { font-family: Times New Roman; font-size: 12pt; }
li { font-family: Times New Roman; font-size: 12pt; }
td { font-family: Times New Roman; font-size: 12pt; }
th { font-family: Times New Roman; font-size: 12pt; }
.bold { font-family: Times New Roman; font-weight: bold; }
.normal { font-family: Times New Roman;font-weight: normal; }
.small {
        font-family: Times New Roman;
        font-size: 10pt;
        }
.very_small {
	font-family: "Times New Roman";
	font-size: 8pt;
	color: #333333;
}
.intro {
        font-family: Times New Roman;
        font-size: 10pt;
        font-style : italic;
}
.standort {font-family:Times New Roman; font-size: 10pt}
.big {font-family:Times New Roman; font-size: 14pt}

A:link {text-decoration: none; color:#00009c;}    /* noch nicht besuchter Link */
A:visited {text-decoration: none; color:#FF0000;} /* besuchter Link */
A:hover { text-decoration: none; background: #FFFF40;} /* Cursor bewegt sich über Link */
A:active { text-decoration: none; color: lime }   /* Link wird ausgewählt */
.bigbold {
	font-family: "Times New Roman", Times, serif;
	font-size: 24px;
	font-style: normal;
	font-weight: bold;
	color: #333333;

}
.H3 {
	font-family: "Times New Roman", Times, serif;
	font-size: 14pt;
	font-weight: bold;
	color: #333333;

}
.H2 {
	font-family: "Times New Roman", Times, serif;
	font-size: 18pt;
	font-weight: bolder;
	color: #333333;

}
.H1 {
	font-family: "Times New Roman", Times, serif;
	font-size: 24pt;
	font-weight: bold;
	color: #333333;

}
.H4 {
	font-family: "Times New Roman", Times, serif;
	font-size: 12pt;
	font-weight: bold;
	color: #333333;

}
.pt12std {
	font-family: "Times New Roman", Times, serif;
	font-size: 12pt;
	font-weight: normal;
}
.underlined {
	text-decoration: underline;
}
.rot12bld {
	font: bold 12pt "Times New Roman", Times, serif;
	border: none;
	color: #FF0000;
}
.blau12bld {
	font: bold 12pt "Times New Roman", Times, serif;
	color: #0000FF;
}