jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372468 )
Change subject: Replace abandoned `@colorGray13` with current WikimediaUI one
......................................................................
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
---
M resources/skins.minerva.base.styles/ui.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
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 @@
}
.header-container {
- border-bottom: 1px solid @colorGray13;
+ border-bottom: 1px solid @colorGray12;
&.header-chrome {
background-color: @chromeColor;
--
To view, visit https://gerrit.wikimedia.org/r/372468
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id529d79901aab32d30e2b50820b59a84bd9b3693
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/MinervaNeue
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Pmiazga <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
