change to local prettify.js