doc: Workaround for "floating properties" issue

See readthedocs/sphinx_rtd_theme#1247
open-dynamic-robot-initiative · Dec 3, 2021 · 8a23d93 · 8a23d93
1 parent 5a41613
commit 8a23d93
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/docs/_static/custom.css 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
@@ -125,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.
 #