Codemirror eingebaut

ulrich

2017-02-16 a4d3b5898ebecf3e413ce45feb6a4e1cfdba9ddc

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