Rewrite lots of the home page, tweak styling of code tags.

Also add .no-prettify class to turn off Prettification of select elements.