Update js/prettify.js