From 69f5447afab3209cee5f96097447df058084d1c3 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Tue, 30 Apr 2013 19:12:48 -0700
Subject: [PATCH] add back bottom margin to navbars

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

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 12a4d691f9..3dd8bc5b1e 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3489,6 +3489,7 @@ button.close {
   position: relative;
   padding-top: 15px;
   padding-bottom: 15px;
+  margin-bottom: 20px;
   background-color: #eeeeee;
   border-radius: 4px;
 }
diff --git a/less/navbar.less b/less/navbar.less
index ba4f252cc2..a3395929c3 100644
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -5,6 +5,7 @@
 // Wrapper and base class
 .navbar {
   position: relative;
+  margin-bottom: 20px;
   padding-top: 15px;
   padding-bottom: 15px;
   background-color: @navbar-bg;