Umbenennen von Bilddateien schliesst alle Varianten ein

ulrich

2020-01-20 931544ee14d9ee76f47f8a3065676dd4a098a78a

 web/ui/stile.css

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