gemeinsame Api-Methoden der WeBox zusammengefuehrt

ulrich

2017-03-29 ae914095acce6c1c8a1c799939a5bd1ee4e0cc6b

 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;