From 93e4eea307aa49c5d46f21d6f4ae16f4ab12ca84 Mon Sep 17 00:00:00 2001
From: Chris Sewell <chrisj_sewell@hotmail.com>
Date: Fri, 21 Jun 2024 20:46:19 +0200
Subject: [PATCH] [docs] Style ReadTheDocs version selector (#12457)

Style the ReadTheDocs version selector
(see https://docs.readthedocs.io/en/stable/flyout-menu.html)
inline with the rest of the theme.
---
 doc/_themes/sphinx13/static/sphinx13.css | 27 +++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)

diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
index f4249c5d8..ba3bcf474 100644
--- a/doc/_themes/sphinx13/static/sphinx13.css
+++ b/doc/_themes/sphinx13/static/sphinx13.css
@@ -15,7 +15,7 @@
 body {
     font-family: var(--fonts-sans-serif);
     margin: 0 auto;
-    color: var(--colour-text);
+    color: var(var(--colour-text));
 }
 
 .pageheader {
@@ -422,6 +422,31 @@ div.viewcode-block:target {
     }
 }
 
+/* ReadtheDocs docs selector */
+/* see https://docs.readthedocs.io/en/stable/flyout-menu.html */
+.rst-versions.rst-badge {
+    background-color: #f7f7f7;
+    border: 1px solid var(--colour-sphinx-blue);
+    border-radius: 3px;
+    color: var(--colour-sphinx-blue);
+}
+.rst-versions .rst-current-version {
+    background-color: #f7f7f7;
+    border-radius: 3px 3px 0 0;
+    color: var(--colour-sphinx-blue);
+}
+.rst-versions .rst-current-version .fa {
+    color: var(--colour-sphinx-blue);
+}
+.rst-versions .rst-other-versions {
+    border-top: 1px solid var(--colour-sphinx-blue);
+    background-color: #f7f7f7;
+    color: var(--colour-text);
+}
+.rst-versions .rst-other-versions dd a {
+    color: var(--colour-sphinx-blue);
+}
+
 
 /* Landing page */
 .sphinx-tagline * {