google prettify to highlight.js