blog post revision; highlighting -> google-code-prettify