Fix to some content, hack to make PDF generation work without breaking Pygments in HTML