Delete prettify.js