.hohler {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; color: #000000}
.hohler2 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 18px; font-style: normal; font-weight: bolder; font-variant: normal}
.hohler3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal}


.credits_font, a.credits_font{
	color: #F9FDFF;
	font-size: 9pt;
	font-family: Helvetica, Arial, Verdana, sans-serif;
	text-decoration: none;
}

a.credits_font:hover {
	color: #EFF6FC;
	text-decoration: underline;
}