/* Schriftgroesse 1 */
#ganzklein { font-family:Verdana, Arial, Helvetica, Courier, sans-serif; font-size: 7.5pt; }  

/* Schriftgroesse 2 */
#klein { font-family:Verdana, Arial, Helvetica, Courier, sans-serif; font-size: 8pt; }

/* Schriftgroesse 3 */
#normal { font-family:Verdana, Arial, Helvetica, Courier, sans-serif; font-size: 10pt; }

/* Schriftgroesse 4 */
#gross { font-family:Arial, Helvetica, Courier, sans-serif; font-size: 12pt; }

/* Schriftgroesse 5 */
#ziemlichgross { font-family:Arial, Helvetica, Courier, sans-serif; font-size: 15pt; }