From f08b6defd73f7d90634407ff53b6e5dfc4ae6435 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Thu, 17 Aug 2017 15:04:07 -0700
Subject: [PATCH] Replace abandoned `@colorGray13` with current WikimediaUI one

Replacing abandoned `@colorGray13` (`#ddd`) with
appropriate variable `colorGray12` (`#c8ccd1`) from WikimediaUI
color palette, which is used for borders elsewhere.

Bug: T146799
Bug: T172850
Change-Id: Id529d79901aab32d30e2b50820b59a84bd9b3693
---
 resources/skins.minerva.base.styles/ui.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/skins.minerva.base.styles/ui.less b/resources/skins.minerva.base.styles/ui.less
index b17320e..91a955b 100644
--- a/resources/skins.minerva.base.styles/ui.less
+++ b/resources/skins.minerva.base.styles/ui.less
@@ -26,7 +26,7 @@ body {
 }
 
 .header-container {
-	border-bottom: 1px solid @colorGray13;
+	border-bottom: 1px solid @colorGray12;
 
 	&.header-chrome {
 		background-color: @chromeColor;