margin on bottom of navbar nav by default, also round links in mobile views (unround...

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 4a1324b6bae1c07f09eaa831a3b03b32ce37d541..354dd25fe43d4a97fe76450416ab6b84ca4fe0d5 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3387,6 +3387,7 @@ button.close {
 
 .navbar-nav {
   margin-top: 10px;
+  margin-bottom: 15px;
 }
 
 .navbar-nav > li > a {
@@ -3394,6 +3395,7 @@ button.close {
   padding-bottom: 15px;
   line-height: 20px;
   color: #777777;
+  border-radius: 4px;
 }
 
 .navbar-nav > li > a:hover,
@@ -3634,10 +3636,14 @@ button.close {
   .navbar .nav {
     float: left;
     margin-top: 0;
+    margin-bottom: 0;
   }
   .navbar .nav > li {
     float: left;
   }
+  .navbar .nav > li > a {
+    border-radius: 0;
+  }
   .navbar .nav.pull-right {
     float: right;
   }

diff --git a/less/navbar.less b/less/navbar.less
index 86768962ddab080679b904cd6919a27701c0c796..13a36781e17d399eddbc538fac588a4a359558eb 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -22,12 +22,14 @@
   // Space out from .navbar .brand and .btn-navbar when stacked in mobile views
   // and outdent nav links so text lines up with logo.
   margin-top: 10px;
+  margin-bottom: 15px;
 
   > li > a {
     padding-top: ((@navbar-height - @line-height-computed) / 2);
     padding-bottom: ((@navbar-height - @line-height-computed) / 2);
     color: @navbar-link-color;
     line-height: 20px;
+    border-radius: @border-radius-base;
   }
   > li > a:hover,
   > li > a:focus {
@@ -281,10 +283,15 @@
   }
   .navbar .nav {
     float: left;
-    margin-top: 0; // undo top margin to make nav extend full height of navbar
+    // undo margin to make nav extend full height of navbar
+    margin-top: 0;
+    margin-bottom: 0;
 
     > li {
       float: left;
+      > a {
+        border-radius: 0;
+      }
     }
 
     &.pull-right {