Add google-code-prettify and clean up docs.js