prettify.js removed.