From a367fd4938a50c99cb8e45e048a20d0a6459a786 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Fri, 16 Nov 2012 01:19:15 -0800
Subject: [PATCH] Fixes #5925: Adjust top margin of input group in navbar

---
 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 b051c77ccd..2da34b4add 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -4384,7 +4384,7 @@ input[type="submit"].btn.btn-mini {
 
 .navbar-form .input-append,
 .navbar-form .input-prepend {
-  margin-top: 6px;
+  margin-top: 5px;
   white-space: nowrap;
 }
 
diff --git a/less/navbar.less b/less/navbar.less
index 3cc0ef2031..2b186f10e1 100644
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -123,7 +123,7 @@
   }
   .input-append,
   .input-prepend {
-    margin-top: 6px;
+    margin-top: 5px;
     white-space: nowrap; // preven two  items from separating within a .navbar-form that has .pull-left
     input {
       margin-top: 0; // remove the margin on top since it's on the parent