From 52e563e2c7fb73101b670a7ed68c15005e17b21d Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Wed, 14 Dec 2022 14:17:26 +0100
Subject: [PATCH] light: fix color of PR delete button

---
 theme-github-auto.css | 2 +-
 theme-github.css      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/theme-github-auto.css b/theme-github-auto.css
index 3394cef..02b9577 100644
--- a/theme-github-auto.css
+++ b/theme-github-auto.css
@@ -346,7 +346,7 @@
   .ui.negative.buttons .button,
   .ui.negative.button {
     background-color: none;
-    color: #db2828;
+    color: #fff;
   }
 
   .ui.green.button {
diff --git a/theme-github.css b/theme-github.css
index 572a174..fdf4ce3 100644
--- a/theme-github.css
+++ b/theme-github.css
@@ -335,7 +335,7 @@ a.muted {
 .ui.negative.buttons .button,
 .ui.negative.button {
   background-color: none;
-  color: #db2828;
+  color: #fff;
 }
 
 .ui.green.button {