Update prettify.js