Initialiser wieder zurueckgestellt auf JNDI

ulrich

2020-06-25 17727f11c12bd7176af946bb440d509cb558ac22

 web/ui/stile.css

@@ -111,7 +111,7 @@
  -webkit-overflow-scrolling: touch;
}
.datei-figure {
  width: 6em;
  width: 8em;
  cursor: pointer;
}