Closed ssheng closed 3 months ago
https://github.com/readthedocs/sphinx_rtd_theme/issues/761
We already have a search, no need for this now.
https://github.com/readthedocs/sphinx_rtd_theme/issues/761