UI- und Menue-Anpassungen

ulrich

2021-04-14 9c7bda01801855aeb45adf1fe1ddbada80cc050d

 www/ui/app-menu.css

@@ -2,10 +2,12 @@
.app-menu {
  margin: 0;
  padding: 0;
  font-size: smaller;
}

.app-menu-kopf {
  text-align: center;
  font-size: smaller;
}

ul.app-menu {