diff --git a/src/web/stylesheets/themes/_dark.css b/src/web/stylesheets/themes/_dark.css index 8ebfb132..4d2941f2 100755 --- a/src/web/stylesheets/themes/_dark.css +++ b/src/web/stylesheets/themes/_dark.css @@ -108,7 +108,7 @@ /* Highlighter colours */ --hl1: #264f78; --hl2: #675351; - --hl3: #ffb6b6; + --hl3: #c40000; --hl4: #fcf8e3; --hl5: #38811b;