add back bottom margin to navbars

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 12a4d691f9a19f36805f8ddbcaceb932a25bea61..3dd8bc5b1eda7738273a4145ef5322a6f7b66ebd 100644 (file)
--- 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 ba4f252cc227feb301bf3ed22a1259251269751f..a3395929c31f61399de7c4e84d891033b0dafc11 100644 (file)
--- 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;