feat(doc): Add rtd search extension

Provides real-time search on readthedocs

Ref: https://readthedocs-sphinx-search.readthedocs.io

doc/conf.py

@@ -88,6 +88,11 @@ extensions = [
     "sphinx.ext.extlinks",
 ]
 
+# The search extension works only on readthedocs
+# See https://readthedocs-sphinx-search.readthedocs.io
+if on_rtd:
+    extensions.append("sphinx_search.extension")
+
 # Add any paths that contain templates here, relative to this directory.
 templates_path = [doc_path + '/_templates']
 

doc/requirements.txt

@@ -1 +1,2 @@
 sphinx-rtd-theme~=1.3.0
+readthedocs-sphinx-search~=0.3.1