fix hidden section in vertical menu (#70)

alix-tz · Apr 25, 2023 · 31e1866 · 31e1866
1 parent 67b59c7
commit 31e1866
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/docs/src/css/extra.css b/docs/src/css/extra.css
@@ -15,6 +15,17 @@ kbd {
   white-space: nowrap;
 }
 
+div .wy-menu-vertical {
+  margin-bottom: 20px;
+
+}
+
+/* unnecessary addition but keeping it just in case */
+/*.rst-current-version {
+  margin-top: 2px;
+  margin-bottom: 2px;
+}*/
+
 /*
 // Other option:
 kbd {