remove google-code-prettify/