diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 64478369e2..9fc310a982 100644 --- 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);