From 94179c589349ec0593dc6c9cf77c3eed3aa9ccc8 Mon Sep 17 00:00:00 2001 From: ulrich <not disclosed> Date: Sun, 11 Feb 2018 10:29:20 +0000 Subject: [PATCH] Angaben zur Konfiguration ergaenzt --- web/ui/stile.css | 6 +++++- 1 files changed, 5 insertions(+), 1 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index 8f704e5..b636ae2 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; -- Gitblit v1.9.3