jenkins-bot has submitted this change and it was merged.
Change subject: MediaWiki theme: Change highlight color for selected menu option
......................................................................
MediaWiki theme: Change highlight color for selected menu option
Changing the highlight color to light blue #d8e6fe according to style
guide.
Bug: T98393
Change-Id: I9493d1c05975498415ad4d51afe780ceecb4f0af
---
M src/themes/mediawiki/common.less
M src/themes/mediawiki/widgets.less
2 files changed, 7 insertions(+), 2 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less
index 9b9fb48..0df310e 100644
--- a/src/themes/mediawiki/common.less
+++ b/src/themes/mediawiki/common.less
@@ -6,6 +6,8 @@
@active: #999;
@background: #ffffff;
+@select: #d8e6fe;
+
@progressive: #347bff;
@progressive-selected: #2962cc;
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 7245cd3..6e18734 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -630,8 +630,8 @@
&.oo-ui-optionWidget {
&-selected {
- background-color: @active;
- color: #fff;
+ background-color: @select;
+ color: rgba(0,0,0,0.8);
.oo-ui-iconElement-icon {
display: none;
@@ -641,6 +641,9 @@
background-color: #eee;
color: black;
}
+ &-selected&-highlighted {
+ background-color: @select;
+ }
}
}
--
To view, visit https://gerrit.wikimedia.org/r/209729
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9493d1c05975498415ad4d51afe780ceecb4f0af
Gerrit-PatchSet: 3
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Nirzar <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
