jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki Theme: Fix background color for disabled buttons ......................................................................
MediaWiki Theme: Fix background color for disabled buttons Bug: T88483 Change-Id: I9210226ce8ef01a209d52a6d13d115630a82b057 --- 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 466c6b8..de89d0d 100644 --- a/src/themes/mediawiki/common.less +++ b/src/themes/mediawiki/common.less @@ -23,7 +23,7 @@ @active-text: #444444; @disabled-text: #eeeeee; @disabled-framed-text: #ffffff; -@disabled-background: #eeeeee; +@disabled-background: #dddddd; @neutral-button-border: solid 1px #cdcdcd; -- To view, visit https://gerrit.wikimedia.org/r/189946 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9210226ce8ef01a209d52a6d13d115630a82b057 Gerrit-PatchSet: 2 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Prtksxna <[email protected]> Gerrit-Reviewer: Bartosz Dziewoński <[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
