Fixes #7783: nuke bottom margin on fixed-bottom-navbar

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index e1260c7d596fd5e6e0cac75cda8badad179caeef..eba96cb3002d171dd716536e8ac0447e1f0ba6df 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3578,6 +3578,7 @@ button.close {
 
 .navbar-fixed-bottom {
   bottom: 0;
+  margin-bottom: 0;
 }
 
 .navbar-brand {

diff --git a/less/navbar.less b/less/navbar.less
index bf9c3646a0b3282a7f7e03b01fe3d84a0e0de2be..d4e5286a5a6120f10eaf99458226c6ad4efaddf4 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -67,8 +67,13 @@
   z-index: @zindex-navbar-fixed;
   border-radius: 0;
 }
-.navbar-fixed-top    { top: 0; }
-.navbar-fixed-bottom { bottom: 0; }
+.navbar-fixed-top {
+  top: 0;
+}
+.navbar-fixed-bottom {
+  bottom: 0;
+  margin-bottom: 0; // override .navbar defaults
+}
 
 
 
@@ -262,7 +267,7 @@
 
 
 
-// Inverse navbar
+// Responsive navbar
 // --------------------------------------------------
 
 @media screen and (min-width: @screen-tablet) {