Fix pre.js to work with HTML output files.