From: petarpetkovic <ppetkovic@wikimedia.org>
Date: Tue, 3 Oct 2017 11:45:03 +0000 (+0200)
Subject: Change "Advanced filters" label color
X-Git-Tag: 1.31.0-rc.0~1898^2
X-Git-Url: https://git.cyclocoop.org/%20%27.%28%24debut%20%20%20%24par_page%29.%27?a=commitdiff_plain;h=267c82db8e468c6f04c86f113b9a73c216fb98c0;p=lhc%2Fweb%2Fwiklou.git

Change "Advanced filters" label color

Change "Advanced filters" label color to Base20 (#54595D),
fixing monobook skin low contrast.

Bug: T172733
Change-Id: Idb1b9ad7120c387482f8df7fcad8508f2a95139e
---

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less
index e7233a8272..4ecc22e952 100644
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less
@@ -1,4 +1,5 @@
 @import 'mediawiki.mixins';
+@import 'mediawiki.ui/variables';
 
 .mw-rcfilters-ui-filterTagMultiselectWidget {
 	max-width: none;
@@ -78,6 +79,11 @@
 
 				.oo-ui-labelElement.oo-ui-optionWidget.oo-ui-buttonElement:first-child {
 					margin-left: 0;
+
+					.oo-ui-labelElement-label {
+						color: @colorGray5;
+						font-weight: bold;
+					}
 				}
 			}
 		}