Tweak for mobile top bar height

diff --git a/docs/assets/scss/docs.scss b/docs/assets/scss/docs.scss
index 0e9ae8f25daf18adbf71038083f64c9beed45881..eba4e60c5a3f467d5a11cdabd16a0171fb68a61f 100644 (file)
--- a/docs/assets/scss/docs.scss
+++ b/docs/assets/scss/docs.scss
@@ -110,6 +110,10 @@ a#notice {
     background: $topbar-background;
   }
 }
+.docs-sticky-top-bar .title-bar {
+  padding-top: 9px;
+  padding-bottom: 9px;
+}
 
 .dropdown.menu a.button {
   background: $primary-color;