From 1197b57302f1325ffb8b1878a4467cb13d710d74 Mon Sep 17 00:00:00 2001 From: ulrich <not disclosed> Date: Sat, 25 Feb 2017 09:56:34 +0000 Subject: [PATCH] readme hinzugefuegt --- web/ui/stile.css | 38 ++++++++++++++++++++++++++++++++++++-- 1 files changed, 36 insertions(+), 2 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index aedae23..bdb8274 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 */ @@ -31,19 +50,25 @@ .west { flex-grow: 0; flex-shrink: 0; - flex-basis: 10em; + /* + voruebergehend ausgeblendet, zum einblenden + diesen Wert wieder auf 10em setzen + */ + flex-basis: 0em; } .ost { flex-grow: 0; flex-shrink: 0; - flex-basis: 10em; + /*flex-basis: 10em;*/ background-color: antiquewhite; + transition: all 0.3s ease-in; } .zentrum { width: 100%; height: 100%; display: flex; flex-flow: column; + /* background-color: antiquewhite; */ } .zentrum-bc { } @@ -55,4 +80,13 @@ } .datei-figure { width: 6em; + cursor: pointer; } + +.datei-gewaehlt { + color: darkslateblue; +} + +#ansicht { + cursor: pointer; +} \ No newline at end of file -- Gitblit v1.9.3