G.Ambatte a87d62c9c2 Tweak page line brightness ...

As per Reddit report (https://redd.it/1d8opte), on dark CodeMirror themes, it can be difficult to read the folded text between the bright backgrounds of `\page` lines.
This PR tweaks the brightness down slightly by reducing opacity of the background from 75% to 50%.

2024-06-07 09:30:09 +12:00

2.0 KiB

Raw Blame History

View Raw