docs: Add more bottom padding to the menu to prevent the index link from being obscured by the toggle

2023-10-03 13:03:40 +00:00 · 2021-10-14 14:15:29 +02:00
parent ed722700cd
commit 6aa9633a02
1 changed files with 7 additions and 1 deletions
@@ -74,4 +74,10 @@ html.transition *:before,
 html.transition *:after {
    transition: ease-in-out 200ms !important;
    transition-delay: 0 !important;
-}
+}
+
+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;
+}