Lots of fixes and tweaks ...

Fixes #145 PRE scroll in Pygments. Lots of other things. Beta-working
version of my new search plugin (see mhulse/mhulse.github.io#2.