From 4e450e7e6ceb8ffcaff11fc2d8d112c25c771b85 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Sat, 16 Jan 2021 11:19:22 +0000
Subject: [PATCH] Neues Dokument, Dokument bearbeiten, speichern
---
web/ui2/stile.css | 35 +++++++++++++++++++----------------
1 files changed, 19 insertions(+), 16 deletions(-)
diff --git a/web/ui2/stile.css b/web/ui2/stile.css
index 3a8a3e3..b2510cf 100644
--- a/web/ui2/stile.css
+++ b/web/ui2/stile.css
@@ -7,21 +7,32 @@
/* Stile Code-Editor */
-.code-editor-container {
- height: 100%;
-}
-
-.codeeditor {
- height: 100%;
-}
-
+/* der div-Behaelter fuer die Textarea */
.codeeditor-space {
+ /*
width: 100%;
height: 100%;
border: 1px solid lightgrey;
+ */
+ flex:1 1 auto;
+ margin-top:0;
+ height:100%;
+ position:relative;
}
+/* Textarea fuer CodeMirror */
+/*
+.codeeditor {
+ height: 100%;
+}
+*/
+/* die Codemirror-Instanz selbst */
.CodeMirror {
+ position:absolute;
+ top:0;
+ bottom:0;
+ left:0;
+ right:0;
height: 100%;
}
@@ -35,8 +46,6 @@
width: 100%;
height: 100%;
}
-
-
/* aus App-Vorlage */
@@ -90,11 +99,6 @@
transition: all 0.3s ease-in;
background-color: antiquewhite;
overflow: hidden;
-}
-.arbeitsbereich {
- display: flex;
- flex-flow: column;
- width: 100%;
}
.zentrum-behaelter {
display: flex;
@@ -150,7 +154,6 @@
.dialog {
position: relative;
- /* height: 0.1em; */
transition: all 0.3s ease-in;
}
--
Gitblit v1.9.3