/* Angelegt von Gernot am 23.12.2018 */



/* Schriftgröße: die Standardgröße 13px überschreiben, Zeilenhöhe (10px) auch */

body
{
  font-size:20px;
  line-height:30px;
}

/* Abstand der Menüpunkte noch etwas weiter als ohnehin vergrößerte Zeilenhöhe: Original line-height war 18px: */

li
{
  line-height:36px;
}
