From 26115ecfe17ecd438a0aca7686bac1670709905e Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Thu, 05 Apr 2018 18:34:49 +0000
Subject: [PATCH] collect aufgenommen

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