Allow / to be entered into search box, don't focus if edit already fo…

…cused

python_docs_theme/static/search-focus.js

@@ -1,10 +1,21 @@
+function isInputFocused() {
+  const activeElement = document.activeElement;
+  return (
+    activeElement.tagName === 'INPUT' ||
+    activeElement.tagName === 'TEXTAREA' ||
+    activeElement.isContentEditable
+  );
+}
+
 document.addEventListener('keydown', function(event) {
   if (event.key === '/') {
-     // Prevent "/" from being entered in the search box
-    event.preventDefault();
+    if (!isInputFocused()) {
+      // Prevent "/" from being entered in the search box
+      event.preventDefault();
 
-    // Set the focus on the search box
-    let searchBox = document.getElementById('search-box');
-    searchBox.focus();
+      // Set the focus on the search box
+      const searchBox = document.getElementById('search-box');
+      searchBox.focus();
+    }
   }
 });