.infobox {
	border: 1px solid #d40026;
	color: #d40026;
	font-weight: 700;
	margin-top: 10px;
	margin-bottom: 10px;
	padding: 7px;
}

.infobox A {
	color: #d40026;
	font-weight: 700;
	text-decoration: none;
}

.rot {
	color: #d40026;
	font-weight: 900;
}

.mittel {
	font-size: medium;
}

.klein {
	font-size: x-small;
}

.lecturastitel {
	font-size: 24pt;
	font-family: Georgia;
	color: red;
}
.lecturasuntertitel {
	font-size: 10pt;
	font-family: Verdana;
}
.lecturastext {
	font-size: 12.5pt;
	font-family: Verdana;
}