Split out google-code-prettify