removed google-code-prettify library