Anpassung an geaenderten Authentifizierungs-Mechanismus von Tomcat.

ulrich

2019-12-01 8318da966eb377630eef811bca5abdf1a76c9977

 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;
}