13 ms·

Many modern text editors (can) use proportional fonts. It's quite nice. You should try it out sometime.