jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki Theme: Use darker color for frameless buttons ......................................................................
MediaWiki Theme: Use darker color for frameless buttons Bug: T88622 Change-Id: Ied2317bf227369c915e7a8d290bf2fd532390a69 --- M src/themes/mediawiki/common.less 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Trevor Parscal: Looks good to me, approved jenkins-bot: Verified diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less index 385a3a0..b2171b2 100644 --- a/src/themes/mediawiki/common.less +++ b/src/themes/mediawiki/common.less @@ -22,7 +22,7 @@ @text: #757575; @pressed-text: #444444; @pressed-color: #d0d0d0; // Used for borders and backgrounds -@disabled-text: #eeeeee; +@disabled-text: #cccccc; @disabled-framed-text: #ffffff; @disabled-background: #dddddd; -- To view, visit https://gerrit.wikimedia.org/r/189947 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ied2317bf227369c915e7a8d290bf2fd532390a69 Gerrit-PatchSet: 4 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Prtksxna <[email protected]> Gerrit-Reviewer: Esanders <[email protected]> Gerrit-Reviewer: Ricordisamoa <[email protected]> Gerrit-Reviewer: Trevor Parscal <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
