From ad74e784a947eee188f36df631087471e6d19958 Mon Sep 17 00:00:00 2001
From: Santos Gallegos <stsewd@proton.me>
Date: Mon, 28 Oct 2024 09:54:01 -0500
Subject: [PATCH] Docs: update Sphinx instructions to override search (#11702)

- The selector may need to be adjusted based on the theme.
- The script must be run after the DOM is loaded,
  so defer should be used.
---
 docs/user/intro/sphinx.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/user/intro/sphinx.rst b/docs/user/intro/sphinx.rst
index 71b3e8bf3bd..4767770bfae 100644
--- a/docs/user/intro/sphinx.rst
+++ b/docs/user/intro/sphinx.rst
@@ -86,6 +86,7 @@ If you're using a different theme, enable :doc:`Server side search </server-side
 
 
       // Trigger the Read the Docs Addons Search modal when clicking on "Search docs" input from the topnav.
+      // NOTE: The selector of the search input may need to be adjusted based on your theme.
       document.querySelector("[role='search'] input").addEventListener("focusin", () => {
          const event = new CustomEvent("readthedocs-search-show");
          document.dispatchEvent(event);
@@ -97,7 +98,7 @@ If you're using a different theme, enable :doc:`Server side search </server-side
         :caption: conf.py
 
          html_js_files = [
-             "readthedocs.js",
+             ("readthedocs.js", {"defer": "defer"}),
          ]