Demo: use Google prettify instead of highlight.js