add prettify.js for pretty code