From a5564d2b08b1771c799de64a80e62b6c8a45cb8d Mon Sep 17 00:00:00 2001
From: Valentin Vieriu <valentin.vieriu@gmail.com>
Date: Fri, 10 Feb 2012 18:29:39 +0100
Subject: [PATCH] fixing Issue #1893 - removing hardcoded color border from
 <hr/>

---
 less/type.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/less/type.less b/less/type.less
index 7841bb0906..4a1c1d4047 100644
--- a/less/type.less
+++ b/less/type.less
@@ -137,7 +137,7 @@ dd {
 hr {
   margin: @baseLineHeight 0;
   border: 0;
-  border-top: 1px solid #e5e5e5;
+  border-top: 1px solid @grayLighter;
   border-bottom: 1px solid @white;
 }
 
-- 
GitLab