Probably more blue, green and yellow and definitely orange or dark orange or even purple instead of red... anything but red unless it's an error.. But hey, we're talking about personal taste here, so the choice is yours and so is the theme...
Just my .02c
I was thinking about personal preference too, and it does still apply. But I can see the color possibly interfering with seeing lint error markings.
Share screenshots when this happens, please? Happy to tweak accordingly.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.