add a trigger for addon search

docs/conf.py

@@ -117,3 +117,8 @@ html_theme_options = {"link_main_doc": False}
 redirects = {"reference/openmp/openmp": "../../about/compatibility/openmp.html"}
 
 numfig = False
+
+ html_js_files = [
+     "readthedocs.js",
+ ]
+

docs/readthedocs.js

@@ -0,0 +1,6 @@
+// Trigger the Read the Docs Addons Search modal when clicking on "Search docs" input from the topnav.
+document.querySelector("[role='search'] input").addEventListener("focusin", () => {
+   const event = new CustomEvent("readthedocs-search-show");
+   document.dispatchEvent(event);
+});
+