Neues Dokument, Dokument bearbeiten, speichern

ulrich

2021-01-16 4e450e7e6ceb8ffcaff11fc2d8d112c25c771b85

 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;
}