From ed722700cdb9f806d5991f007a256477ef2aa2fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Thu, 14 Oct 2021 14:05:14 +0200
Subject: [PATCH 1/2] docs: Put the index menu item into a list prevent it from
 being styled as unfolded

---
 docs/_templates/layout.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html
index 41713a109..498c0e6e9 100644
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@@ -2,5 +2,9 @@
 
 {% block menu %}
     {{ super() }}
-    <a href="{{ pathto('genindex') }}">Keyword Index</a>
+    <ul>
+        <li>
+            <a href="{{ pathto('genindex') }}">Keyword Index</a>
+        </li>
+    </ul>
 {% endblock %}

From 6aa9633a024d94566e6d2ce44a94a49d1f0eba02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Thu, 14 Oct 2021 14:06:02 +0200
Subject: [PATCH 2/2] docs: Add more bottom padding to the menu to prevent the
 index link from being obscured by the toggle

---
 docs/_static/css/toggle.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/_static/css/toggle.css b/docs/_static/css/toggle.css
index ebbd0658a..add134f6c 100644
--- a/docs/_static/css/toggle.css
+++ b/docs/_static/css/toggle.css
@@ -74,4 +74,10 @@ html.transition *:before,
 html.transition *:after {
     transition: ease-in-out 200ms !important;
     transition-delay: 0 !important;
-}
\ No newline at end of file
+}
+
+nav.wy-nav-side {
+    /* The default padding of 2em is too small and the "Keyword Index" link gets obscured
+     * by the version toggle. */
+    padding-bottom: 3em;
+}