From 5794c8f1f5e48dea6afe808e374265ca69f7419a Mon Sep 17 00:00:00 2001 From: ulrich Date: Fri, 01 Jan 2021 11:39:12 +0000 Subject: [PATCH] Logging-Einstellungen ausgeschaltet und die MEthode zur Bestimmung des Daten-Ordners angepasst. --- web/ui/stile.css | 8 ++++++-- 1 files changed, 6 insertions(+), 2 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index 8f704e5..a6dbdc0 100644 --- a/web/ui/stile.css +++ b/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; } -- Gitblit v1.9.3