From c509a016b6156e34034500803f8e18a2a9529940 Mon Sep 17 00:00:00 2001
From: ulrich <not disclosed>
Date: Mon, 20 Feb 2017 18:17:58 +0000
Subject: [PATCH] Neuer Ordner hergestellt
---
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