#links {
	display: none;
}
#inhalt hr {
	display: none;
}
td.details {
	display: none;
}
#kopf h1 {
	font-size: 14pt;
}
#inhalt {
	font-size: 10pt;
}
.tabellen_liste td, .tabellen_liste th {
	padding: 0 0.5em;
}
.tabellen_liste th {
	padding-bottom: 0.5em;
}
.highlight {
	display: none;
}