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;