From eb2a2d78152c7ca689e3aac116c107229a896a66 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sat, 03 Mar 2018 19:34:54 +0000
Subject: [PATCH] Bug mit relativen Pfaden entfernt

---
 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