From 18126ed790796125e584da3d3d2e84e8b1d08a4d Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Sat, 2 Oct 2021 09:57:11 +0300
Subject: [PATCH] dark: update border color of `.ui.label`

---
 theme-github-dark.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/theme-github-dark.css b/theme-github-dark.css
index 47345b1..0769aba 100644
--- a/theme-github-dark.css
+++ b/theme-github-dark.css
@@ -183,7 +183,10 @@ a,
 }
 a.ui.label {
   color: #adbac7 !important;
-  border-color: var(--color-secondary)!important;
+  border-color: var(--color-secondary) !important;
+}
+.ui.label {
+  border-color: var(--color-secondary) !important;
 }
 .ui.menu .item {
   color: #adbac7;