From 6648a811dfdb4cbe432dae59f373b5a9df28e513 Mon Sep 17 00:00:00 2001 From: ulrich Date: Mon, 11 Jan 2021 17:25:22 +0000 Subject: [PATCH] ui2: Ordner oeffnen und Datei waehlen hinzugefuegt --- 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