css: Tweak number line color in source code pages

Julow · jonludlam · commit 9df611d1dc97 · 2024-12-18T18:19:28.000Z
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);
