Julien Palard <julien+python@palard.fr> added the comment: Yes, got it too : 512d7101098b971837cbb406942215244f636547, they literally removed the searchbox: $ git show 512d7101098b971837cbb406942215244f636547 | grep searchbox -{%- macro searchbox() %} -{# modified from sphinx/themes/basic/searchbox.html #} - {{ searchbox() }} - '<input type="text" value="" id="searchbox" style="width: 50%">', - '<input type="submit" id="searchbox-submit" value="Filter"></p>' - var query = new RegExp($('#searchbox').val(), 'i'); - $('#searchbox').keyup(dofilter); - $('#searchbox-submit').click(dofilter); ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue34733> _______________________________________