From d10a84157a8acdc8050d9e57e98c9cb53131827b Mon Sep 17 00:00:00 2001 From: ulrich <not disclosed> Date: Tue, 21 Feb 2017 10:29:49 +0000 Subject: [PATCH] HomeFilter entfernt --- web/ui/stile.css | 24 ++++++++++++++++++++++++ 1 files changed, 24 insertions(+), 0 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index aedae23..f081f74 100644 --- a/web/ui/stile.css +++ b/web/ui/stile.css @@ -1,4 +1,23 @@ +/* Stile Code-Editor */ + +.code-editor-container { + height: 100%; +} + +.codeeditor { + height: 100%; +} + +.codeeditor-space { + width: 100%; + height: 100%; + border: 1px solid lightgrey; +} + +.CodeMirror { + height: 100%; +} /* Stile Listenansicht */ @@ -44,6 +63,7 @@ height: 100%; display: flex; flex-flow: column; + /* background-color: antiquewhite; */ } .zentrum-bc { } @@ -56,3 +76,7 @@ .datei-figure { width: 6em; } + +.datei-gewaehlt { + color: gold; +} \ No newline at end of file -- Gitblit v1.9.3