From 98f6a18d39095b58078acb7ebb5ffb4c8fe1c0bb Mon Sep 17 00:00:00 2001
From: Matthias Wirth <matthias.wirth@gmail.com>
Date: Tue, 8 Dec 2020 19:10:13 +0100
Subject: [PATCH] reduce padding a bit

---
 html/style.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/html/style.css b/html/style.css
index 3157e9b..c8ffe52 100644
--- a/html/style.css
+++ b/html/style.css
@@ -604,8 +604,8 @@ table.infoSectionTable tr td {
 }
 .settingsOptionContainer {
     display: table;
-    padding-top: calc( 5px * var(--SCALE));
-    padding-bottom: calc( 5px * var(--SCALE));
+    padding-top: calc( 3.5px * var(--SCALE));
+    padding-bottom: calc( 3.5px * var(--SCALE));
 }
 
 .settingsCheckbox {
@@ -802,8 +802,8 @@ table.infoSectionTable tr td {
 }
 
 #sortableColumns li {
-    margin: 5px 5px 5px 0;
-    padding: calc( 1px * var(--SCALE));
+    margin: 3px 3px 3px 3px;
+    padding: calc( 0px * var(--SCALE));
     float: left;
     width: calc( 120px * var(--SCALE));
     border-color: gainsboro;