Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix search through bumping the underlying RTD theme that fixed the issue
The search issue was due to Sphinx changes and fixed in readthedocs/sphinx_rtd_theme#1021 that was released in the 0.5.1 version of the theme, so that's the earliest we can bump to to have functioning search again. Looking at versions since then, the latest (1.0.0) version seems to have identical results in the compiled documentation, so bumping to that version is likely more future proof.
- Loading branch information