deleted prettify.js