docs: update sphinx-rtd-theme.

Incorporate the fix for readthedocs/sphinx_rtd_theme#1168.
amaranth-lang · Dec 28, 2021 · aa74956 · aa74956
1 parent 39a83f4
commit aa74956
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,3 +1,3 @@
 sphinx~=4.2
 sphinxcontrib-platformpicker~=1.1
-sphinx-rtd-theme~=0.5.0
+sphinx-rtd-theme~=1.0