From dc3419d8e44917b8aa580e5fc77e275f193dcf12 Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Mon, 20 Sep 2021 12:25:01 +0200
Subject: [PATCH] light & dark: adjust ui.sha.label padding

---
 theme-github-dark.css | 3 +++
 theme-github.css      | 1 +
 2 files changed, 4 insertions(+)

diff --git a/theme-github-dark.css b/theme-github-dark.css
index ed43264..3fdd3c2 100644
--- a/theme-github-dark.css
+++ b/theme-github-dark.css
@@ -141,3 +141,6 @@ a.ui.label {
 .ui.menu .item {
   color: #adbac7;
 }
+.ui .sha.label {
+  padding: 6px 10px 6px;
+}
diff --git a/theme-github.css b/theme-github.css
index 7fcafe0..c9490fa 100644
--- a/theme-github.css
+++ b/theme-github.css
@@ -161,6 +161,7 @@ a.ui.label {
 }
 .ui .sha.label {
   color: var(--color-text) !important;
+  padding: 6px 10px 6px;
 }
 .ui.basic.green.buttons .button,
 .ui.basic.green.button {