Auf Nutzung mit Docker umgestellt

ulrich

2018-02-17 6834d815905b44ab7e07a0432ff567657350cf79

 web/ui/stile.css

@@ -35,4 +35,8 @@

.eingabe {
  margin-top: 0.5em;
}

.role-select {
  margin-bottom: 0.5em;
}