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
This commit is contained in:
Volker E 2017-08-17 15:04:07 -07:00
parent 65ff225ae8
commit f08b6defd7

View file

@ -26,7 +26,7 @@ body {
}
.header-container {
border-bottom: 1px solid @colorGray13;
border-bottom: 1px solid @colorGray12;
&.header-chrome {
background-color: @chromeColor;