From adf81264cd422e8032f4a9da0f3fbac890e45eb9 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Wed, 22 Feb 2017 05:30:23 +0000
Subject: [PATCH] getList bei neuer Odner und Datei schliessen hinzugefuegt

---
 web/ui/stile.css |   29 +++++++++++++++++++++++++++++
 1 files changed, 29 insertions(+), 0 deletions(-)

diff --git a/web/ui/stile.css b/web/ui/stile.css
index aedae23..7bcc830 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 {
 }
@@ -55,4 +75,13 @@
 }
 .datei-figure {
   width: 6em;
+  cursor: pointer;
 }
+
+.datei-gewaehlt {
+  color: darkslateblue;
+}
+
+#ansicht {
+  cursor: pointer;
+}
\ No newline at end of file

--
Gitblit v1.9.3