[issue19489] move quick search box above TOC

[Zachary Ware]

Zachary Ware added the comment:

I really like the search box in the header/footer.

I can't really speak for the actual content of the patch since my Sphinx/HTML/CSS/Jinja/whatever else knowledge is severely limited, but it looks pretty straightforward and the result is very nice.  I'd appreciate a review from someone who's better-versed in all things Sphinx (Georg, if you have a chance, you'd be ideal).

If there are no objections within about a week, though, I'll just go ahead and commit it.

----------

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