Fix / keyboard shortcut to allow typing / within the search field

- Select all existing text in the field when pressing the shortcut.
- Remove broken Algolia integration (unused since 4.0) and move
  the shortcut code to the main `custom.js` file.

Author: Calinou

_static/js/algolia.js

@@ -246,6 +246,17 @@ $(document).ready(() => {
     Documentation.hideSearchWords();
   }
 
+  window.addEventListener('keydown', function(event) {
+    if (event.key === '/') {
+        var searchField = document.querySelector('#rtd-search-form input[type=text]');
+        if (document.activeElement !== searchField) {
+            searchField.focus();
+            searchField.select();
+            event.preventDefault();
+        }
+    }
+  });
+
   // Initialize handlers for page scrolling and our custom sidebar.
   const mediaQuery = window.matchMedia('only screen and (min-width: 769px)');
 

_static/js/custom.js

@@ -217,9 +217,7 @@
     html_css_files.append("css/dev.css")
 
 html_js_files = [
-    "js/custom.js?6", # Increment the number at the end when the file changes to bust the cache.
-    ('https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js', {'defer': 'defer'}),
-    ('js/algolia.js', {'defer': 'defer'})
+    "js/custom.js?7", # Increment the number at the end when the file changes to bust the cache.
 ]
 
 # Output file base name for HTML help builder