Comment by civilized

A bit off-topic but why does PDF export sometimes produce these incredibly, seemingly gratuitously fugly font renderings? The size and spacing of the letters seems to be random. Like, here's a giant d in the middle of a word for no reason.