From 67bd817a38c7a5ac636b5ee1883bbd3ae719d927 Mon Sep 17 00:00:00 2001
From: Pieter Vander Vennet <pietervdvn@gmail.com>
Date: Sun, 15 Nov 2020 01:20:30 +0100
Subject: [PATCH] Css tweaks

---
 InitUiElements.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/InitUiElements.ts b/InitUiElements.ts
index 580153fa3..d97819788 100644
--- a/InitUiElements.ts
+++ b/InitUiElements.ts
@@ -368,7 +368,7 @@ export class InitUiElements {
                 return;
             }
 
-            layerControlPanel.SetStyle("display:block;padding:1em;border-radius:1em;");
+            layerControlPanel.SetStyle("display:block;padding:0.75em;border-radius:1em;");
             const closeButton = Svg.close_svg().SetClass("layer-selection-toggle").SetStyle("  background: var(--subtle-detail-color);")
             const checkbox = new CheckBox(
                 new Combine([