addressing #9189 manually, part 6: add a navbar margin var, but avoid the navbar...

diff --git a/less/navbar.less b/less/navbar.less
index 60f5fd4f71031c6ecd528f682e6cb02ad6dc3f08..e474f35bd6cd862e7bacdddb7401010f8608e750 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -6,7 +6,7 @@
 .navbar {
   position: relative;
   min-height: @navbar-height; // Ensure a navbar always shows (e.g., without a .navbar-brand in collapsed mode)
-  margin-bottom: 20px;
+  margin-bottom: @navbar-margin-bottom;
   padding-left: @navbar-padding-horizontal;
   padding-right: @navbar-padding-horizontal;
   background-color: @navbar-bg;

diff --git a/less/variables.less b/less/variables.less
index 89e01700eb0a0c2580f98232922f456e5ca83fe3..bf180aff6351c94f9daad43bb3113a228485880e 100644 (file)
--- a/less/variables.less
+++ b/less/variables.less
@@ -232,6 +232,7 @@
 @navbar-height:                    50px;
 @navbar-color:                     #777;
 @navbar-bg:                        #eee;
+@navbar-margin-bottom:             @line-height-computed;
 @navbar-border-radius:             @border-radius-base;
 @navbar-padding-horizontal:        floor(@grid-gutter-width / 2);
 @navbar-padding-vertical:          ((@navbar-height - @line-height-computed) / 2);