Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: fix double-clicking on member names
In the rendered html docs, double-clicking a name, such as a class name, would select both the keyword "class" as well as the class name. This happens because there is no whitespace between the two HTML elements. We can patch this by injecting a space using CSS. Issue: readthedocs/sphinx_rtd_theme#1154
- Loading branch information