From cf580eedd98c050c3316c40e741609e33ca58a4d Mon Sep 17 00:00:00 2001 From: oleksiyskononenko <35204136+oleksiyskononenko@users.noreply.github.com> Date: Wed, 20 Jul 2022 16:42:18 -0700 Subject: [PATCH] Fix search functionality for sphinx `4.*` (#3316) Adjust our custom theme in a way similar to `sphinx_rtd_theme`, see https://github.com/readthedocs/sphinx_rtd_theme/pull/1021. This fixes the search functionality for sphinx `4.*`. We can take care of sphinx `5.*`, that was recently released later, if needed. Closes #3299 --- docs/_theme/search.html | 1 + requirements_docs.txt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/_theme/search.html b/docs/_theme/search.html index 3174129b1c..8da2bd997a 100644 --- a/docs/_theme/search.html +++ b/docs/_theme/search.html @@ -13,6 +13,7 @@ {%- block scripts %} {{ super() }} + {%- endblock %} {% block footer %} diff --git a/requirements_docs.txt b/requirements_docs.txt index c227c0d845..778267ae9c 100644 --- a/requirements_docs.txt +++ b/requirements_docs.txt @@ -1,6 +1,6 @@ docutils>=0.15 pygments>=2.6 -sphinx>=3.0,!=3.2.0 +sphinx>=4.0, <5.0 sphinx_rtd_theme>=0.5 nbsphinx>=0.5 datatable