Replaced prettify.js with run_prettify.js