Fix ugly font sizes on `pre`.