Removed reference to prettify.js which we don't use.