Remove search field from sidebar

search is now accessible via a button in the nav bar, which opens an
overlay search field.

Author: timhoffm

doc/conf.py

@@ -412,7 +412,6 @@ def js_tag_with_cache_busting(js):
 # Custom sidebar templates, maps page names to templates.
 html_sidebars = {
     "index": [
-        'search-field.html',
         # 'sidebar_announcement.html',
         "sidebar_versions.html",
         "cheatsheet_sidebar.html",