decrease top/bottom padding a bit in mobile fixed navbars

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 42ed6c70212ab64caffc01b4df5da33753d5d5d9..0d99d6ea9c33ff8ae58db3441d954ebf98da9fc7 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3124,7 +3124,7 @@ button.close {
 */
 
 .navbar {
-  padding: 15px;
+  padding: 10px 15px;
   background-color: #eeeeee;
   border-radius: 4px;
 }

diff --git a/less/navbar.less b/less/navbar.less
index 8f063b45c0aed29b3a5e7ac3c2182b0cd251bf39..8aefd8540767574d635717d2cd06ef834b6a03f6 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -4,7 +4,7 @@
 
 // Wrapper and base class
 .navbar {
-  padding: 15px;
+  padding: 10px 15px;
   background-color: @navbar-bg;
   border-radius: @border-radius-base;
   // Prevent floats from breaking the navbar