Restored prettyprint

Added my own theme, and added JavaScript to give each <pre> the
"prettyprint" class.
Deleted old prettyprint theme
Minor textual changes

* Header has bottom padding.
* Slightly increased bottom margin for all text elements.
* Shrunk <code> font size.
* Changed hover colour.