From f16e8d18efac0bc4ed8d8a67e79c640ca8df443e Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Sun, 6 Aug 2023 13:08:32 +0200
Subject: [PATCH] Docs: skip python-docs-theme 2023.7 to fix mobile menu
 (GH-107666) (cherry picked from commit
 9641c4d8e2bdf9b00dd9f373d4a74dfad000afd1)

Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
---
 Doc/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/requirements.txt b/Doc/requirements.txt
index 2b8d4df214730f..3c0e0a7733673e 100644
--- a/Doc/requirements.txt
+++ b/Doc/requirements.txt
@@ -15,6 +15,6 @@ sphinxext-opengraph>=0.7.1
 
 # 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