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 { 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