Rollen des admin-Benutzers geaendert und Doku nochmals ergaenzt

ulrich

2017-01-31 d313b339687630874483310afa0119c09cd1cff1

 web/ui/stile.css

@@ -31,4 +31,12 @@

#user-role-form {
  margin-top: 1em;
}

.eingabe {
  margin-top: 0.5em;
}

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