From 92d86e5568b8313725ac709d28e32377eba890b4 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sun, 01 Apr 2018 10:59:08 +0000
Subject: [PATCH] Feed-Servlet hier entfernt und aus wbx-lib eingebunden
---
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