From 1cb880b4f112463cbb8ad25ec680e561f978834e Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Wed, 8 May 2013 19:55:20 -0700
Subject: [PATCH] Fixes #7816: revert negative margin on .navbar-nav

---
 docs/assets/css/bootstrap.css | 2 +-
 less/navbar.less              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 633543fd99..542b95d881 100644
--- 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 494f43b6fd..3cbcbb9c99 100644
--- 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);