Replace abandoned color with current WikimediaUI one

Replacing abandoned `@colorGray13` (`#ddd`) with
appropriate variable from WikimediaUI color palette and
remove unneeded `@chromeContentSeparator` var, which is
just used once and not in place with `.header` anyways.

Additional changes:
* Also aligning `border` values to each other.

Bug: T146799
Bug: T172850
Change-Id: Ia9a1736b1ea5fa080b4673038b2c23ddce90f135
This commit is contained in:
Volker E 2017-08-10 13:44:48 -04:00 committed by Jdlrobson
parent 56d16e894b
commit b3e0ce2bae
2 changed files with 3 additions and 4 deletions

View file

@ -34,7 +34,6 @@
// colors
@chromeColor: @grayLightest;
@chromeContentSeparator: @colorGray13;
@semiTransparent: rgba( 0, 0, 0, 0.8 );
@linkColor: #002bb8;

View file

@ -16,7 +16,7 @@ body {
// FIXME: should we use .mw-body here instead?
#content {
// avoid margin collapsing (see T147956)
border-top: solid 1px transparent;
border-top: 1px solid transparent;
padding-bottom: 32px;
}
@ -26,7 +26,7 @@ body {
}
.header-container {
border-bottom: solid 1px @chromeContentSeparator;
border-bottom: 1px solid @colorGray13;
&.header-chrome {
background-color: @chromeColor;
@ -246,7 +246,7 @@ input.search {
.section-heading {
width: 100%;
border-bottom: solid 1px @colorGray14;
border-bottom: 1px solid @colorGray14;
margin-bottom: @headingMargin;
.indicator {