From d4a277321c779474d4e8cefbeeea3658d0c518b5 Mon Sep 17 00:00:00 2001 From: zadam Date: Wed, 13 Nov 2019 19:38:34 +0100 Subject: [PATCH] styling of mobile expanders --- src/public/stylesheets/mobile.css | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/public/stylesheets/mobile.css b/src/public/stylesheets/mobile.css index 2520af75b..ab1a78969 100644 --- a/src/public/stylesheets/mobile.css +++ b/src/public/stylesheets/mobile.css @@ -78,7 +78,7 @@ html, body { } .fancytree-node .fancytree-expander:before { - font-size: 2em; + font-size: 2em !important; } kbd { @@ -89,16 +89,19 @@ kbd { font-size: larger; } +span.fancytree-expander { + width: 24px !important; +} + .fancytree-loading span.fancytree-expander { - width: 32px; + width: 24px; height: 32px; - margin-left: 4px; } .fancytree-loading span.fancytree-expander:after { width: 20px; height: 20px; - margin: 4px; + margin-top: 4px; border-width: 2px; border-style: solid; }