remove prettify.js