On the other hand, those modifications are what make Web fonts unfit for the print environment. Web fonts fundamentally weren't designed to cleanly convert to print and often aren't licensed for print ...

I'm doing a growing amount of work with txt files. On the screen, I like a nice big font for readability, but when I print I don't want to see anything more than an 8 or 10 point font. Any GUI ...