.grün {
	font-family: "Courier New", Courier, mono;
	font-size: 14px;
	color: #006666;
}
.grau {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	color: #666666;
}
.blau {
	font-family: Impact;
	font-size: 14px;
	color: #CCCCFF;
}
.grün16 {

	font-family: "Courier New", Courier, mono;
	font-size: 16px;
	color: #006666;
}