Docs: skip python-docs-theme 2023.7 to fix mobile menu (#107666)

hugovk · web-flow · commit 9641c4d8e2bd · 2023-08-06T13:08:32.000+02:00
diff --git a/Doc/requirements.txt b/Doc/requirements.txt
@@ -15,6 +15,6 @@ sphinxext-opengraph==0.7.5
 
 # The theme used by the documentation is stored separately, so we need
 # to install that as well.
-python-docs-theme>=2023.7
+python-docs-theme>=2023.3.1,!=2023.7
 
 -c constraints.txt
