jenkins-bot has submitted this change and it was merged.
Change subject: MediaWiki theme: Use gray instead of blue for select and
highlight
......................................................................
MediaWiki theme: Use gray instead of blue for select and highlight
Bug: T78082
Bug: T78047
Change-Id: Ia88cb0833b611a85f382e9db6ca8f2b76c75b431
---
M src/themes/mediawiki/tools.less
M src/themes/mediawiki/widgets.less
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index c79ae8b..d896828 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -241,7 +241,7 @@
&.oo-ui-widget-enabled {
&:hover {
- background-color: #e1f3ff;
+ background-color: #eeeeee;
}
}
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 0882df9..d660dfe 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -426,7 +426,7 @@
.oo-ui-selectWidget-depressed &-selected,
.oo-ui-selectWidget-pressed &-pressed {
- background-color: #a7dcff;
+ background-color: #d0d0d0;
}
&.oo-ui-widget-disabled {
--
To view, visit https://gerrit.wikimedia.org/r/179193
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia88cb0833b611a85f382e9db6ca8f2b76c75b431
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Trevor Parscal <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[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
