Fixes #8397: better navbar padding with grid gutter stuff

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 8c895e995949f399d06cafe725cb296cc9299297..3c74388b6955aa77c4fd7e425d6df07eda7c1e39 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -2848,7 +2848,7 @@ button.close {
 .navbar-brand {
   display: block;
   max-width: 200px;
-  padding: 15px;
+  padding: 15px 15px;
   margin-right: auto;
   margin-left: auto;
   font-size: 18px;

diff --git a/less/navbar.less b/less/navbar.less
index 7a6e80488fc4f0232de354590f614d707f17d4fd..1818490577a2dd9e1d559da015eb8fd021e47846 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -6,8 +6,8 @@
 .navbar {
   position: relative;
   margin-bottom: 20px;
-  padding-left: @navbar-padding;
-  padding-right: @navbar-padding;
+  padding-left: @navbar-padding-horizontal;
+  padding-right: @navbar-padding-horizontal;
   background-color: @navbar-bg;
   border-radius: @border-radius-base;
 
@@ -100,7 +100,7 @@
   max-width: 200px;
   margin-left: auto;
   margin-right: auto;
-  padding: @navbar-padding;
+  padding: @navbar-padding-vertical @navbar-padding-horizontal;
   font-size: @font-size-large;
   font-weight: 500;
   line-height: @line-height-computed;
@@ -298,7 +298,7 @@
 
   .navbar-brand {
     float: left;
-    margin-left: -(@navbar-padding);
+    margin-left: -(@navbar-padding-horizontal);
     margin-right: 5px;
   }
   .navbar-nav {

diff --git a/less/variables.less b/less/variables.less
index daeccb4b79ab5c879e83494c8866055a8eb1c1a4..b28d33091f8c06b20fa8657d2b877c2174621ce5 100644 (file)
--- a/less/variables.less
+++ b/less/variables.less
@@ -176,7 +176,8 @@
 @navbar-height:                    50px;
 @navbar-color:                     #777;
 @navbar-bg:                        #eee;
-@navbar-padding:                   floor(@grid-gutter-width / 2);  // ~15px
+@navbar-padding-horizontal:        floor(@grid-gutter-width / 2);  // ~15px
+@navbar-padding-vertical:          15px;
 
 // Navbar links
 @navbar-link-color:                #777;