From e698a6372bfdf14c43bafcd7117a6235bed081be Mon Sep 17 00:00:00 2001
From: kkapsner <github@mail.kkapsner.de>
Date: Sun, 30 Jun 2019 12:50:12 +0200
Subject: [PATCH] options: made tabs taller

Fixes #353
---
 options/options.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options/options.css b/options/options.css
index 58d6caf..559caea 100644
--- a/options/options.css
+++ b/options/options.css
@@ -313,7 +313,7 @@ td.hideColumn {
 	cursor: pointer;
 	border: 1px solid #c1c1c1;
 	border-radius: 0.5em;
-	padding: 2px 1em;
+	padding: 0.5em 1em;
 	margin: 2px;
 }
 .groups .groupName.selected {