/*       Formatierung Gliederungsseite - Internet Explorer       */

a
{
	font-size:90%;
}

a.bestand
{
	font-size:150%;
	font-weight:bold;
}

td.headline
{
	background-color:#f1f1f1;
}