Erweiterung der Verwendung von Codemirror (in Arbeit)

ulrich

2020-06-17 d0301588b8cbce69c6ac9ae2e448ed1e288c9799

 web/ui/stile.css

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