Dateiverwaltung für die WebBox
ulrich
2017-02-21 10d3d35ec5891c1f7d549ef49b9831394db2d792
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 {
}
@@ -55,4 +75,13 @@
}
.datei-figure {
  width: 6em;
  cursor: pointer;
}
.datei-gewaehlt {
  color: darkslateblue;
}
#ansicht {
  cursor: pointer;
}