From 59ae95ae05ad3af639f3406152f36377573b8dcc Mon Sep 17 00:00:00 2001
From: Stephen Cathcart <stephen.m.cathcart@gmail.com>
Date: Sat, 2 Dec 2023 21:49:42 +0000
Subject: [PATCH] Fix navigation scrollbar for small devices

---
 docs/assets/stylesheets/extra.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/assets/stylesheets/extra.css b/docs/assets/stylesheets/extra.css
index 7dfe9df4..b95e3ba9 100644
--- a/docs/assets/stylesheets/extra.css
+++ b/docs/assets/stylesheets/extra.css
@@ -414,6 +414,9 @@ html .md-footer-meta.md-typeset a:is(:focus, :hover) {
 	width: 100%;
 	vertical-align: top;
 }
+.md-nav.md-nav--primary {
+    overflow: hidden auto;
+}
 .md-nav__title .md-nav__button.md-logo :-moz-any(img, svg) {
 	fill:currentcolor;
 	display:block;