From 59b09324ec44ed55f44a44c20db236bc80db3e78 Mon Sep 17 00:00:00 2001 From: pat-s Date: Tue, 13 Dec 2022 09:22:34 +0100 Subject: [PATCH 1/2] 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 36df307..3394cef 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; +} From 52e563e2c7fb73101b670a7ed68c15005e17b21d Mon Sep 17 00:00:00 2001 From: pat-s Date: Wed, 14 Dec 2022 14:17:26 +0100 Subject: [PATCH 2/2] 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 {