From f9f34626104ff3e17f69787642eb3697529c92c4 Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Tue, 10 Jan 2023 20:18:32 +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 a9c09b2..3d39b98 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 {