Hacker News new | ask | show | jobs
by amelius 11 days ago
Maybe, but changing the font size of individual chars could already help.