UI tweaks

Contains:

* Highlighting of selected lines (on clicking on the line number and according to the hash from the URL)
* Wrapping the text lines generated by pygments in `</p>` tags
* Some visual enhancements

Tested in Chrome and Firefox (no IE).