From e8b731864608d2f86db37705880ec92136e7347a Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Tue, 30 Apr 2013 19:07:28 -0700
Subject: [PATCH] no need for zero padding on navbar top/bottom; better comment

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

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index ecf7c75854..12a4d691f9 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3487,7 +3487,8 @@ button.close {
 
 .navbar {
   position: relative;
-  padding: 0 15px;
+  padding-top: 15px;
+  padding-bottom: 15px;
   background-color: #eeeeee;
   border-radius: 4px;
 }
diff --git a/less/navbar.less b/less/navbar.less
index c3dd334905..ba4f252cc2 100644
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -5,9 +5,11 @@
 // Wrapper and base class
 .navbar {
   position: relative;
-  padding: 0 15px;
+  padding-top: 15px;
+  padding-bottom: 15px;
   background-color: @navbar-bg;
   border-radius: @border-radius-base;
+
   // Prevent floats from breaking the navbar
   .clearfix();
 }
@@ -16,7 +18,7 @@
 // -------------------------
 
 .navbar-nav {
-  // Space out from .navbar .brand and .btn-navbar
+  // Space out from .navbar .brand and .btn-navbar when stacked in mobile views
   margin-top: 5px;
 
   > li > a {