use up-to-date sphinx_rtd_theme extension

Currently sphinx_rtd_theme is a fixed asset in the repository. This can lead to various problems: - search doesn't work anymore when building the doc with recent sphinx - generated html & js code not in line with current standard - no fixes from upstream are integrated BTW, as per the doc at: https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html#via-git-or-download Installing directly from the repository source is deprecated and is not recommended. Static assets won’t be included in the repository starting in release 3.0.0. This removes the theme, and updates conf.py to use the now prefered method to get it as per: https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html#how-to-install-and-use-the-theme
bcit-ci · Jun 27, 2023 · f52e1e8 · f52e1e8
1 parent 63d0375
commit f52e1e8
Show file tree

Hide file tree

Showing 23 changed files with 5 additions and 1,277 deletions.
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/LICENSE b/user_guide_src/source/_themes/sphinx_rtd_theme/LICENSE
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/__init__.py b/user_guide_src/source/_themes/sphinx_rtd_theme/__init__.py
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/breadcrumbs.html b/user_guide_src/source/_themes/sphinx_rtd_theme/breadcrumbs.html
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/footer.html b/user_guide_src/source/_themes/sphinx_rtd_theme/footer.html
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html