From f7f7543d603595fcfb9846f8d9eefc774bf0ecc8 Mon Sep 17 00:00:00 2001 From: Étienne Loks Date: Thu, 8 Nov 2018 20:33:26 +0100 Subject: Allow deactivation of "auto-pin" and of "pin menu" in the profile (refs #4307) --- scss/custom.scss | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scss') diff --git a/scss/custom.scss b/scss/custom.scss index 77f17c6e0..788220466 100644 --- a/scss/custom.scss +++ b/scss/custom.scss @@ -387,6 +387,10 @@ div#validation-bar{ padding: 0.6em 1em 0.1em 1em; } +#alert-list { + padding: 0.6em 0; +} + #alert-list a{ font-size: 1.1rem; } -- cgit v1.2.3