From 72f66f72122b2b01283b6e0647c7dcb085e3dee2 Mon Sep 17 00:00:00 2001
From: Shogun <ShogunPanda@users.noreply.github.com>
Date: Fri, 28 Jan 2022 12:31:09 +0100
Subject: [PATCH] doc: do not wrap menu header

---
 doc/api_assets/style.css | 5 +++++
 tools/doc/html.mjs       | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css
index b954c88bf028fc..cb9d6021ffd329 100644
--- a/doc/api_assets/style.css
+++ b/doc/api_assets/style.css
@@ -165,12 +165,17 @@ em code {
   line-height: 1.5rem;
 }
 
+#gtoc li {
+  white-space: nowrap;
+}
+
 li.picker-header {
   position: relative;
 }
 
 li.picker-header .collapsed-arrow, li.picker-header .expanded-arrow {
   width: 1.5ch;
+  height: 1.5em;
 }
 
 li.picker-header .collapsed-arrow {
diff --git a/tools/doc/html.mjs b/tools/doc/html.mjs
index bdf967507c58ac..5aa29bb486fd1b 100644
--- a/tools/doc/html.mjs
+++ b/tools/doc/html.mjs
@@ -514,7 +514,7 @@ function altDocs(filename, docCreated, versions) {
     <li class="picker-header">
       <a href="#">
         <span class="collapsed-arrow">&#x25ba;</span><span class="expanded-arrow">&#x25bc;</span>
-        View another version
+        Other versions
       </a>
       <div class="picker"><ol id="alt-docs">${list}</ol></div>
     </li>