Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: fix a Sphinx deprecation warning
* Handling of javascript mods for the html changed, wasn't going to work in 3.0. Basically copied fix from readthedocs/sphinx_rtd_theme#728 * This was used for the "hide prompts" feature in example code. New version still works in 1.6, but no longer in 1.5 or earlier. Docs still render fine, just don't have the "hide" button, so this is okay.
- Loading branch information