css: Tweak number line color in source code pages

Julow · Dec 18, 2024 · 438b348 · 438b348
1 parent a9e7112
commit 438b348
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -230,7 +230,7 @@
 
 
   --source-line-column: var(--fg3);
-  --source-line-column-bg: var(--bg1);
+  --source-line-column-bg: var(--bg_h);
 
   --source-code-comment: var(--gray);
   --source-code-docstring: var(--green-dim);