[issue19489] move quick search box above TOC

[Ammar Askar]

Ammar Askar added the comment:

Amended the navigation bar patch to add back a change that only shows the searchbar if javascript is enabled.

----------
Added file: http://bugs.python.org/file43995/searchbar_in_header.diff2

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