From 10a5439fc50f549701090f15bb1330b0d1ed28a9 Mon Sep 17 00:00:00 2001 From: ulrich@undisclosed <ulrich@ulrich-vaio> Date: Tue, 19 May 2020 13:13:28 +0000 Subject: [PATCH] In Arbeit: Piktogramme, Abmelden, Stile verfeinert --- web/ui/stile.css | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/web/ui/stile.css b/web/ui/stile.css index abfb850..f990909 100644 --- a/web/ui/stile.css +++ b/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; } \ No newline at end of file -- Gitblit v1.9.3