/* Styles für Groessenumschaltung */
div { font-size: 11px; line-height: 17px }
p { font-size: 11px; line-height: 17px; font-weight: bold; }