Use new full-page search UI from upstream RTD

From https://readthedocs-sphinx-search.readthedocs.io, can also be tested on https://docs.readthedocs.io.
ThomasJejkal · Mar 16, 2020 · f4610cc · f4610cc
1 parent 463f1df
commit f4610cc
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -1,2 +1,5 @@
 # Code tabs for GDScript/C#
 sphinx-tabs
+
+# Full-page search UI for RTD: https://readthedocs-sphinx-search.readthedocs.io
+git+https://github.com/readthedocs/readthedocs-sphinx-search@master