From de6bc969f6a29eecac199d26ad9e82f3677449fe Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Thu, 25 Nov 2021 11:40:10 +0100
Subject: [PATCH] light: adjust gpg banner color and commit banner background

---
 theme-github.css | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/theme-github.css b/theme-github.css
index c9490fa..34c47fc 100644
--- a/theme-github.css
+++ b/theme-github.css
@@ -188,3 +188,28 @@ a.ui.label {
 .ui.buttons:not(.basic):not(.inverted)>.button:not(.basic):not(.inverted) {
   border-left: 1px solid var(--color-secondary);
 }
+
+/* GPG verified msg banner */
+.repository .ui.attached.isSigned.isVerified.message .ui.text {
+  color: black;
+}
+.repository .ui.attached.isSigned.isVerified:last-child, .repository .ui.attached.isSigned.isVerified.bottom {
+  border-bottom: 1px solid #21ba45;
+}
+.repository .ui.attached.isSigned.isVerified.top, .repository .ui.attached.isSigned.isVerified.message {
+  border-top: 1px solid var(--color-secondary);
+}
+.repository .ui.attached.isSigned.isVerified {
+  border-left: 1px solid var(--color-secondary);
+  border-right: 1px solid var(--color-secondary);
+}
+.repository .ui.attached.isSigned.isVerified.message {
+  box-shadow: none;
+  background-color: #21ba45;
+  color: black;
+}
+
+/* bg color of commit info box */
+.ui .info.segment.top {
+  background-color: var(--color-navbar)!important;
+}