Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: Add sphinx_rtd_theme to extensions (#2220)
* sphinx_rtd_theme must be added to the sphinx extensions in sphinx v6.0+ to properly load jQuery. - c.f. https://sphinx-rtd-theme.readthedocs.io/en/1.2.0/changelog.html#known-issues
- Loading branch information