From 6aee3becc97df8f189b97f69a654fe3398398d7c Mon Sep 17 00:00:00 2001
From: jlukic <jacklukic@gmail.com>
Date: Thu, 12 Mar 2015 18:23:22 -0400
Subject: [PATCH] Header uses border color

---
 src/themes/default/elements/header.variables | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/themes/default/elements/header.variables b/src/themes/default/elements/header.variables
index c79856142..c4b0941a3 100644
--- a/src/themes/default/elements/header.variables
+++ b/src/themes/default/elements/header.variables
@@ -95,7 +95,7 @@
 @iconHeaderFirstMargin: 0em;
 
 /* Divided */
-@dividedBorder: 1px solid rgba(0, 0, 0, 0.1);
+@dividedBorder: 1px solid @borderColor;
 @dividedColoredBorderWidth: 2px;
 
 @dividedBorderPadding: 0.25rem;