From 958d58a408e3cd9b5f31c04d4c60dc1657439c24 Mon Sep 17 00:00:00 2001
From: Nils Maier <maierman@web.de>
Date: Sat, 24 Aug 2019 21:19:00 +0200
Subject: [PATCH] Fix button icon positioning (on Windows)

---
 style/manager.css | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/style/manager.css b/style/manager.css
index a26f112..3c687eb 100644
--- a/style/manager.css
+++ b/style/manager.css
@@ -46,6 +46,11 @@ body > * {
   background: rgb(246,246,246);
   color: black;
   transition: box-shadow 0.5s, background 1s;
+  font-size: 24px;
+  line-height: 24px;
+}
+#toolbar > .button > span:before {
+  display: block;
 }
 
 #toolbar > .button.disabled {
@@ -63,13 +68,6 @@ body > * {
   box-shadow: 0px 0px 7px 2px rgba(220,220,220,0.75);
 }
 
-#toolbar > .button > span {
-  display: block;
-  flex-grow: 0;
-  width: 24px;
-  line-height: 24px;
-}
-
 #toolbar > .button > .icon-add {
   color: var(--add-color);
 }