docs: upgrade sphinx-rtd-theme, work around readthedocs/sphinx_rtd_th…

…eme#1301.
whitequark · Mar 22, 2024 · 81fcf76 · 81fcf76
1 parent 8c65a79
commit 81fcf76
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
@@ -20,3 +20,6 @@ a { text-decoration: underline; }
 
 /* Many of our diagnostics are even longer */
 .rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre { white-space: pre-wrap; }
+
+/* Work around https://github.com/readthedocs/sphinx_rtd_theme/issues/1301 */
+.py.property { display: block !important; }
diff --git a/pyproject.toml b/pyproject.toml
@@ -67,7 +67,7 @@ test = [
 docs = [
   "sphinx~=7.1",
   "sphinxcontrib-platformpicker~=1.3",
-  "sphinx-rtd-theme~=1.2",
+  "sphinx-rtd-theme~=2.0",
   "sphinx-autobuild",
 ]
 examples = [