[issue15871] Online docs: make index search always available.

[Ezio Melotti]

Changes by Ezio Melotti <ezio.melotti at gmail.com>:


----------
versions: +Python 3.5 -Python 3.2

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