From c5bd2d42c5666974e16f37bc5c8ae197ca6fc6d1 Mon Sep 17 00:00:00 2001
From: Chris Sewell <chrisj_sewell@hotmail.com>
Date: Sat, 22 Jun 2024 14:50:38 +0200
Subject: [PATCH] [docs] improve RTD version selector (#12460)

ensure the border-radius is applied correctly
---
 doc/_themes/sphinx13/static/sphinx13.css | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
index ba3bcf474..b4e040d7c 100644
--- a/doc/_themes/sphinx13/static/sphinx13.css
+++ b/doc/_themes/sphinx13/static/sphinx13.css
@@ -10,6 +10,7 @@
     --colour-todo-bg: #e0c7ff;
     --colour-text: #333;
     --colour-links-light: #057;
+    --admonition-radius: 3px;
 }
 
 body {
@@ -339,7 +340,7 @@ div.admonition, div.warning {
     font-size: 0.9em;
     margin: 1em 0 1em 0;
     border: 1px solid #86989B;
-    border-radius: 3px;
+    border-radius: var(--admonition-radius);
     background-color: #f7f7f7;
     padding: 1rem;
 }
@@ -359,7 +360,7 @@ div.warning > p.admonition-title {
     background-color: #dddddd;
     margin: -1rem -1rem 0.8rem -1rem;
     padding: 0.3rem 1rem;
-    border-radius: 3px 3px 0 0;
+    border-radius: var(--admonition-radius) var(--admonition-radius) 0 0;
 }
 
 div.important > p.admonition-title,
@@ -427,18 +428,19 @@ div.viewcode-block:target {
 .rst-versions.rst-badge {
     background-color: #f7f7f7;
     border: 1px solid var(--colour-sphinx-blue);
-    border-radius: 3px;
+    border-radius: var(--admonition-radius);
     color: var(--colour-sphinx-blue);
 }
 .rst-versions .rst-current-version {
     background-color: #f7f7f7;
-    border-radius: 3px 3px 0 0;
+    border-radius: var(--admonition-radius);
     color: var(--colour-sphinx-blue);
 }
 .rst-versions .rst-current-version .fa {
     color: var(--colour-sphinx-blue);
 }
 .rst-versions .rst-other-versions {
+    border-radius: 0 0 var(--admonition-radius) var(--admonition-radius);
     border-top: 1px solid var(--colour-sphinx-blue);
     background-color: #f7f7f7;
     color: var(--colour-text);