[issue19489] move quick search box above TOC

[Zachary Ware]

Zachary Ware added the comment:

This LGTM.

If it's simple enough, I'd like to see a shot at putting the search box in the top bar, but it's not necessary :)

I'll commit this in the near future unless somebody beats me to it.

----------
stage: needs patch -> commit review

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue19489>
_______________________________________