Fixes #7816: revert negative margin on .navbar-nav

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 633543fd99324ade079756e603d42f031edb75e7..542b95d88136723f106fcbbe8db9341535542819 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3548,7 +3548,7 @@ button.close {
 }
 
 .navbar-nav {
-  margin: 10px -15px 0;
+  margin-top: 10px;
 }
 
 .navbar-nav > li > a {

diff --git a/less/navbar.less b/less/navbar.less
index 494f43b6fd57da63b24937807c7bb1c3be0526ed..3cbcbb9c99ee6fc7a750d3be8cbe883c2f73af9c 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -21,7 +21,7 @@
 .navbar-nav {
   // Space out from .navbar .brand and .btn-navbar when stacked in mobile views
   // and outdent nav links so text lines up with logo.
-  margin: 10px -15px 0;
+  margin-top: 10px;
 
   > li > a {
     padding-top: ((@navbar-height - @line-height-base) / 2);