Style fixes for google-code-prettify