From 0543439b47ee26471bb18096b58befa0aa8cd8bd 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: modify branch listing in PR view

---
 theme-github-auto.css |  9 +++++++++
 theme-github.css      | 10 ++++++++++
 2 files changed, 19 insertions(+)

diff --git a/theme-github-auto.css b/theme-github-auto.css
index 889c672..a9c09b2 100644
--- a/theme-github-auto.css
+++ b/theme-github-auto.css
@@ -399,6 +399,15 @@
     background-color: #afb8c133;
     border-radius: 6px;
   }
+  // branch display in PRs
+  .issue.list .branches .branch {
+    background-color: #afb8c133;
+    border-radius: 6px;
+  }
+  .issue.list .branches .truncated-name {
+    color: #24292f;
+    padding: 2px;
+  }
 }
 @media (prefers-color-scheme: dark) {
   :root {
diff --git a/theme-github.css b/theme-github.css
index 9a1852d..572a174 100644
--- a/theme-github.css
+++ b/theme-github.css
@@ -394,3 +394,13 @@ ui.basic.blue.button:hover,
   background-color: #afb8c133;
   border-radius: 6px;
 }
+
+// branch display in PRs
+.issue.list .branches .branch {
+  background-color: #afb8c133;
+  border-radius: 6px;
+}
+.issue.list .branches .truncated-name {
+  color: #24292f;
+  padding: 2px;
+}