.marked-gelb {
	font-family: "Courier New", Courier, mono;
	font-size: 10pt;
	background-color: #F3FF17;
}
.marked-blue {
	font-family: "Courier New", Courier, mono;
	font-size: 10pt;
	background-color: #00F2FF;
}