Dateiverwaltung für die WebBox
ulrich
2018-03-03 e4fec9e56c5cc32b38dc471a57e8844d32ec0b4f
web/ui/stile.css
@@ -73,7 +73,11 @@
}
.sued {
  background-color: lightgray;
  background-color: #eee;
}
.system-out {
  height: 8em;
  overflow-y: auto;
}
.west {
  flex-grow: 0;