From 6b512520ffb0ba92fb6992617ebea001ff17b4ee Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Fri, 22 Mar 2024 06:32:44 +0000
Subject: [PATCH] docs: upgrade sphinx-rtd-theme, work around
 readthedocs/sphinx_rtd_theme#1301.

---
 docs/_static/custom.css | 3 +++
 pyproject.toml          | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 69a6288..053d59e 100644
--- 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; }
\ No newline at end of file
diff --git a/pyproject.toml b/pyproject.toml
index 3edd906..4844d64 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -71,7 +71,7 @@ test = [
 docs = [
   "sphinx~=7.1",
   "sphinxcontrib-platformpicker~=1.3",
-  "sphinx-rtd-theme~=1.2",
+  "sphinx-rtd-theme~=2.0",
   "sphinx-autobuild",
 ]
 examples = [