From e682d6eb2924d9c970b75dd9119fa02f1819e84e Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Fri, 28 Jul 2023 17:00:07 +0200
Subject: [PATCH] autodoc: improve styling of new help dropdown

---
 lib/docs/index.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/docs/index.html b/lib/docs/index.html
index 8723d24e3c..febcec2f4a 100644
--- a/lib/docs/index.html
+++ b/lib/docs/index.html
@@ -284,7 +284,9 @@
         transform: translate(0, 0);
       }
 
-      #searchHelp {
+      #sectSearchResults {
+        box-sizing: border-box;
+        max-width: 960px;
       }
 
       #searchHelp summary {
@@ -963,14 +965,14 @@
                   case-sensitive.</li>
                 <li>Given <code>ArrayListUnmanaged</code>:
                   <ul>
-                    <li>the following words (and their prefixes) will match:
+                    <li>the following search terms (and their prefixes) will match:
                       <ul>
                         <li><code>array</code></li>
                         <li><code>list</code></li>
                         <li><code>unmanaged</code></li>
                       </ul>
                     </li>
-                    <li>the following words will <b>NOT</b> match:
+                    <li>the following search terms will <b>NOT</b> match:
                       <ul>
                         <li><code>stun</code></li>
                         <li><code>ray</code></li>