body { margin-left:30px; }
#gross { font-family:Times; font-size:24px; }
#mittel { font-family:Times; font-size:20px; }
#normal { font-family:Times; font-size:16px; }
#klein { font-family:Times; font-size:10px; }