Fix non-scrolling mobile navigation

Author: pmpinto

_includes/sidebar.html

@@ -1,4 +1,4 @@
-<sidebar class="sidebar" id="sidebar">
+<nav class="sidebar" id="sidebar">
 	<div class="sidebar-mobile">
 		<img src="{{ "/assets/images/menu.svg" | relative_url }}" class="menu-icon" id="menu" alt="Menu" />
 		<img src="{{ "/assets/images/close.svg" | relative_url }}" class="close-icon" id="close" alt="Close menu" />
@@ -9,4 +9,4 @@
 		{% include nav.html %}
 		<!-- {% include search-results.html %}<BR> -->
 	</div>
-</sidebar>
+</nav>

assets/css/docs.scss

@@ -69,6 +69,7 @@ a.menu {
 		background: $navigation-background;
 		padding: $base-height;
 		overflow: auto;
+		padding-bottom: 4em;
 	}
 
 	.sidebar-mobile {
@@ -189,6 +190,10 @@ a.menu {
 		border-right: none;
 		height: $header-height;
 
+		.sidebar-main {
+			padding-bottom: 8em;
+		}
+
 		.sidebar-mobile {
 			display: block;
 
@@ -200,6 +205,7 @@ a.menu {
 		&.opened {
 			overflow: visible;
 			height: auto;
+			max-height: 100dvh;
 			border-bottom: $sidebar-border;
 
 			.sidebar-mobile {