From c5042e050e4f55f90ffa7ee28c84892e798f964f Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sun, 31 Mar 2013 17:17:10 -0700
Subject: [PATCH] fix nav divider

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

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 750a68a997..b47250e828 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -2789,7 +2789,7 @@ fieldset[disabled] .btn-link:focus {
 }
 
 .dropdown-menu .divider {
-  height: 1px;
+  height: 2px;
   margin: 9px 0;
   overflow: hidden;
   background-color: #e5e5e5;
@@ -3289,7 +3289,7 @@ button.close {
 }
 
 .nav .divider {
-  height: 1px;
+  height: 2px;
   margin: 9px 0;
   overflow: hidden;
   background-color: #e5e5e5;
@@ -3522,7 +3522,7 @@ button.close {
 }
 
 .navbar .nav > .divider {
-  height: 1px;
+  height: 2px;
   margin: 9px 0;
   overflow: hidden;
   background-color: #e1e1e1;
diff --git a/less/mixins.less b/less/mixins.less
index be75a2f891..b44197bccc 100644
--- a/less/mixins.less
+++ b/less/mixins.less
@@ -346,7 +346,7 @@
 // -------------------------
 // Dividers (basically an hr) within dropdowns and nav lists
 .nav-divider(@top: #e5e5e5, @bottom: #fff) {
-  height: 1px;
+  height: 2px; // 1px for background, one for border
   margin: ((@line-height-base / 2) - 1) 0;
   overflow: hidden;
   background-color: @top;
-- 
GitLab