Line numbers do not have enough contrast

Line numbers in the gutter have a contrast ratio of 2.49, which doesn’t meet the AA standard ratio of 4.5:

Would it be possible to change the colors so that they meet the standard? Chrome dev tools seems to suggest that changing to color: #6c6c6c; would be sufficient.

Poking around a bit more, I believe the default highlight in the autocomplete tooltip also fails contrast checks.

These patches should address this:

Great, thanks!