Fix gutter styling with dark themes

jtpio · jtpio · commit feb6e02eb8dc · 2025-09-17T19:54:40.000+02:00
diff --git 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);
+}
