Amar Takhar 9845183527 Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ ...

68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.

This should fix the search issues.

closes #3880

2020-02-26 00:09:17 -05:00

..

badge_only.js

Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/

2020-02-26 00:09:17 -05:00

html5shiv-printshiv.min.js

Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/

2020-02-26 00:09:17 -05:00

html5shiv.min.js

Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/

2020-02-26 00:09:17 -05:00

theme.js

Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/

2020-02-26 00:09:17 -05:00