Sorry, my "fix" was bogus. I checked the results with a TeXmacs-produced PDF, which apparently includes different fonts than what e.g. pdfetex does. The TeXmacs fonts look fine. (I wonder why.) -- Bad rendering (hinting) in Evince and Xpdf https://launchpad.net/bugs/26118