increase contrast of line numbers

[babaissarkar]

Resolves#994

Minerals

Alloys

[SableRaf]

I've tested on Windows 10 and macOS 13.4 and it looks good to me!

The only issue I can see with this approach is that—with the larger numbers—line numbers over 9999 overflow on the left.

The current version can fit more numbers in the gutter.

That said, I doubt this will affect most users and this should not be a blocker for this PR. Just something to keep in mind for later (cc @Stefterv).

[Stefterv]

@SableRaf That's some high-level QA right there ❤️

@babaissarkar Thank you!

[SableRaf]

@all-contributors please add @babaissarkar for Code and Accessibility

[allcontributors]

@SableRaf

This project's configuration file has malformed JSON: .all-contributorsrc. Error:: Unexpected token ] in JSON at position 39663

[SableRaf]

@all-contributors please add @babaissarkar for Code and Accessibility

[allcontributors]

@SableRaf

I've put up a pull request to add @babaissarkar! 🎉

[SableRaf]

Hi @babaissarkar and @Stefterv 👋

I just noticed that at smaller font sizes the line numbers start colliding. Note: This was already the case in 4.3.4 but it was less pronounced.

I don't know whether we need to support font sizes that small. Maybe it's reasonable to limit how small the font can get in the editor? Otherwise we'd need a way to adjust the size of the line numbers for smaller font sizes in the editor.

[babaissarkar]

The font size for line numbers could be adaptive: it changes in proportion to the editor font, though the parent issue may crop up again.