diff --git a/docs/_static/custom.css b/docs/_static/custom.css new file mode 100644 index 00000000..337401cb --- /dev/null +++ b/docs/_static/custom.css @@ -0,0 +1,4 @@ +/* Workaround for https://github.com/readthedocs/sphinx_rtd_theme/issues/1247 */ +dl.py.property { + display: block !important; +} diff --git a/docs/conf.py b/docs/conf.py index d4bfd409..d255fe9f 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -19,7 +19,6 @@ # import os import sys -import sphinx_rtd_theme # noqa sys.path.insert(0, os.path.abspath("../python/")) @@ -126,6 +125,11 @@ # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ["_static"] +# path is relative to html_static_path +html_css_files = [ + 'custom.css', +] + # Custom sidebar templates, must be a dictionary that maps document names # to template names. #