From 01db89c2e7055f3924ea4b15423ae0f7a1a4a487 Mon Sep 17 00:00:00 2001
From: Paul Wackerow <54227730+wackerow@users.noreply.github.com>
Date: Wed, 19 Jul 2023 19:11:06 -0400
Subject: [PATCH] patch other-version menu overflow [Fixes #14429]

---
 docs/_static/css/custom.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
index ed21675dd..7519db8e1 100644
--- a/docs/_static/css/custom.css
+++ b/docs/_static/css/custom.css
@@ -16,6 +16,7 @@
 
     --navHeight: 4.5rem;
     --sideWidth: 300px;
+    --currentVersionHeight: 45px;
 
     text-rendering: geometricPrecision;
     -webkit-font-smoothing: antialiased;
@@ -658,6 +659,8 @@ ul.search .context {
 .rst-other-versions {
     background: var(--white) !important;
     color: var(--color-a) !important;
+    max-height: calc(100vh - var(--navHeight) - var(--currentVersionHeight));
+    overflow-y: scroll;
 }
 
 .rst-other-versions a {