Adds github CSS to google code prettify
Changes google prettify to use highlight.js
minor ui change