updated to google prettify from highlight.js