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