fix: add sphinxcontrib-jquery to bring back JQuery for newer Sphinx versions

Author: ntamas

doc/source/conf.py

@@ -68,6 +68,7 @@ def get_igraph_version():
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 sys.path.insert(0, os.path.abspath('sphinxext'))
 extensions = [
+    'sphinxcontrib.jquery',
     'sphinx.ext.coverage',
     'sphinx.ext.mathjax',
     'sphinx.ext.intersphinx',

doc/source/requirements.txt

@@ -2,8 +2,9 @@ pip
 wheel
 requests>=2.28.1
 
-sphinxbootstrap4theme
 sphinx-gallery
+sphinx-rtd-theme
+sphinxcontrib-jquery
 pydoctor
 
 numpy

scripts/mkdoc.sh

@@ -57,7 +57,7 @@ if [ ! -d ".venv" ]; then
 fi
 
 # Make sure that Sphinx, PyDoctor (and maybe doc2dash) are up-to-date in the virtualenv
-.venv/bin/pip install -U sphinx pydoctor sphinxbootstrap4theme sphinx-gallery
+.venv/bin/pip install -U sphinx pydoctor sphinxbootstrap4theme sphinx-gallery sphinxcontrib-jquery
 if [ x$DOC2DASH = x1 ]; then
     .venv/bin/pip install -U doc2dash
 fi