add prettify.js