.menu12px {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000000; text-decoration: none}
a:hover {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #0033FF; text-decoration: none}
.15pxblaufett {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 15px; font-style: normal; line-height: normal; font-weight: bold; font-variant: normal; color: #030091; text-decoration: none}
.12pxblau {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; color: #030091; text-decoration: none}
.6pxleer {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 6px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; text-decoration: none; color: #FFFFFF}
.12pxblaufett { font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: bold; font-variant: normal; color: #030091; text-decoration: none }
.10pxblau {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 11px; font-style: normal; line-height: 12px; font-weight: normal; color: #030091; text-decoration: none}
.11pxblau {  font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 11px; font-style: normal; line-height: 12px; font-weight: normal; color: #030091; text-decoration: none}
.menu12pxweiss { font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #FFFFFF; text-decoration: none }
.menu12px_weiss { font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #FFFFFF; text-decoration: none }
.10pxgrau {
font-family: Arial, Verdana, Helvetica, Times, sans-serif, serif; font-size: 10px; font-style: normal; line-height: 12px; font-weight: normal; color: #888888; text-decoration: none
}