Search

Basic search works.

Things still to do:

* I manually hacked CSS (but did include CSS in the source file too) - so CSS needs regenerated for line numbers to be correct
* Style OK? I don't really like the focus style (too fuzzy) — but you're the designer, tweak away :)