Logging-Einstellungen ausgeschaltet und die MEthode zur Bestimmung des Date...

ulrich

2021-01-01 5794c8f1f5e48dea6afe808e374265ca69f7419a

 web/ui/stile.css

@@ -73,7 +73,11 @@

}
.sued {
  background-color: lightgray;
  background-color: #eee;
}
.system-out {
  height: 8em;
  overflow-y: auto;
}
.west {
  flex-grow: 0;
@@ -107,7 +111,7 @@
  -webkit-overflow-scrolling: touch;
}
.datei-figure {
  width: 6em;
  width: 8em;
  cursor: pointer;
}