Kleine Anpassungen an Bedienelementen

ulrich

2021-04-21 938b6be92e6b3fd75cdbcf1fc6c051973779b988

 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 {