From 03565fa282a3e7d18f8a4702f25d0ce0aec4abbf Mon Sep 17 00:00:00 2001
From: Kevin Ball <kmball11@gmail.com>
Date: Wed, 10 May 2017 16:24:15 -0700
Subject: [PATCH] Tweak for mobile top bar height

---
 docs/assets/scss/docs.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/assets/scss/docs.scss b/docs/assets/scss/docs.scss
index 0e9ae8f25..eba4e60c5 100644
--- 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;
-- 
2.47.3