In Arbeit: Piktogramme, Abmelden, Stile verfeinert

ulrich@undisclosed

2020-05-19 10a5439fc50f549701090f15bb1330b0d1ed28a9

 web/ui/stile.css

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

.eingabe {
  margin-top: 0.5em;
}

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