On Friday, 5 June 2015 at 23:26:46 UTC, Mike wrote:
Both, actually. I can't put my finger on it exactly, but the font seems look a little "fuzzier" than the current font, and appears less crisp.
No hinting, I guess. That's not good for readability. Andrei has a high-DPI display, hinting isn't as important there.
The font sizes though are throwing me off. It looks like you should reduce the code font size, but increase the text font size to give it an apples-to-apples comparison. If you can do that I'll give it another look.
If it looks fine on one machine now, I wonder if such a change would make it look bad on that machine but fix it on others?
