Add prettify.js