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

---
 theme-github-dark.css | 1 +
 1 file changed, 1 insertion(+)

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