From f8bab050a5c93891834cb72a8bb172eef5aa57fd Mon Sep 17 00:00:00 2001
From: Yuri Sizov <yuris@humnom.net>
Date: Tue, 22 Nov 2022 04:55:33 +0300
Subject: [PATCH] Fix styling issues in the sidebar

---
 _static/css/custom.css | 1 +
 _static/js/custom.js   | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/_static/css/custom.css b/_static/css/custom.css
index f5f0e9ac5..4ce6b3daa 100644
--- a/_static/css/custom.css
+++ b/_static/css/custom.css
@@ -1030,6 +1030,7 @@ kbd.compound > .kbd,
 .wy-menu-vertical li a button.toctree-expand {
     position: relative;
     width: 12px;
+    min-width: 12px; /* Forces the size to stay this way in the flexbox model. */
     height: 18px;
 }
 
diff --git a/_static/js/custom.js b/_static/js/custom.js
index 861d38cec..b55c14f59 100644
--- a/_static/js/custom.js
+++ b/_static/js/custom.js
@@ -324,3 +324,8 @@ $(document).ready(() => {
     registerOnScrollEvent(mediaQuery);
   }
 });
+
+// Override the default implementation from doctools.js to avoid this behavior.
+Documentation.highlightSearchWords = function() {
+  // Nope.
+}