Prettyprinted pre tags had the wrong typeface