use google-code-prettify to highlight codes