give the navbar a fixed height so we can position other sticky elements more reliably

diff --git a/docs/assets/scss/_nav.scss b/docs/assets/scss/_nav.scss
index 394adc892be3c70976e2fd1defcb03789a1f3005..5f1d1d22af65d6acdd3f6423d9f1f8b916c8aeb1 100644 (file)
--- a/docs/assets/scss/_nav.scss
+++ b/docs/assets/scss/_nav.scss
@@ -10,6 +10,7 @@
   position: sticky;
   top: 0;
   z-index: 1030; // over everything in bootstrap
+  height: 4rem;
     // max-height: calc(100vh - 4rem);
     // overflow-y: auto;
   // }