From feb6e02eb8dc7fda5d26b35f4bbf11a77feb32de Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Wed, 17 Sep 2025 19:54:40 +0200
Subject: [PATCH] Fix gutter styling with dark themes

---
 style/base.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/style/base.css b/style/base.css
index 80bbfcf..1ef8594 100644
--- a/style/base.css
+++ b/style/base.css
@@ -24,3 +24,12 @@
   max-height: 400px;
   overflow: auto;
 }
+
+.jp-DiffView .cm-activeLineGutter {
+  background-color: var(--jp-layout-color3);
+  color: var(--jp-ui-font-color1);
+}
+
+.jp-DiffView .cm-lineNumbers .cm-gutterElement {
+  color: var(--jp-ui-font-color2);
+}