From a450f233393a9e3297fea633373635d060a3c709 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Mon, 20 Mar 2017 13:46:41 +0000
Subject: [PATCH] Compile all mitsamt Resultaten
---
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