Keep the Filters menu from falling out of the query field when the window is narrower than 320px.
Merge filters.html with layout.html. That's the only place it's used.
Add a spinner to indicate when a search is in flight. Fix bug 966003.

Hoping Retina displays use the extra data in the extra-big image.

Attaching it as a background image to the Filters menu saves us having to (1) guess how wide the Filters menu is and pad out an absolutely positioned spinner element to not crash into it or (2) jam the Filters menu and the spinner inside a common parent element, which struck me as an unnecessary pollution of the semanticness of the markup.
Remove spurious padding around anchors in file views' code. Fix bug 969887. Keep code from jumping to the right when a line number is clicked. Fix bug 969884.

Stop classing file views as result snippets. Refactor CSS to compensate.

Remove the gold border and "pull-out" effect for now. Not thrilled with the resulting cosmetics, but we can come back later and think of something.

This will need a re-index to take effect, but it looks good enough with the old markup to not bump the format version.
Override plugins to build from environment

This makes it easier to change the list of plugins to build:
```sh
PLUGINS=pygmentize python setup.py build
```
Merge mook's patch to grab list of plugins to compile from an env var. Close #240.
Make search from the context menu case sensitive. Close #241.

Because you are generally searching for an identifier then, it's just that DXR hasn't indexed it for some reason, so case sensitive makes sense (I think).
Remove unused "snippet" class.
Stop wrapping search-result lines. Fix bug 968368. Remove some CSS that was never used.

Strip whitespace from the beginning of result lines, which would otherwise now show up. (It could be informative, but I'm guessing it will more likely simply push result lines way over to the right.
Center the word "Filters" better in its hover bubble.
Remove more dead CSS.
Give '.hpp' files a '.h' icon.
Close #242.  Give '.hpp' files a '.h' icon.
Do nav panel hiding (and showing) server-side. Speed up the transitions as well. Refs bug 968020. Bump format version.

There's no reason to bring JS into this. Now we shouldn't have to wait for the whole, long page of source code to display before we can see the nav.

Also remove a hard-coded-true test and an unused block from the file template and a useless test for 0 length.

Bump the format version. Otherwise, the discloser on the nav pane is always in the wrong state.
Make ARIA attrs actually update.
Remove brittle, duplicate declaration of panelContent.
Fix bug wherein nav panel couldn't be fully collapsed.

Fix some whitespace.