From 7ebde1fb45e6ab30cadbf6deb2eb7b7b28c18660 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Fri, 24 Feb 2017 07:33:43 +0000
Subject: [PATCH] Uploader aufgeraeumt
---
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