light: modify branch listing in PR view

2022-12-13 09:22:34 +01:00
parent 2bd47654dd
commit 59b09324ec
2 changed files with 19 additions and 0 deletions
--- 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;
+}