Bartosz Dziewoński has uploaded a new change for review.
https://gerrit.wikimedia.org/r/179199
Change subject: MediaWiki theme: Extract @active-color variable
......................................................................
MediaWiki theme: Extract @active-color variable
Change-Id: Ibc5b586f86c853abec271b92506feae0e520c4ee
---
M src/themes/mediawiki/common.less
M src/themes/mediawiki/elements.less
M src/themes/mediawiki/widgets.less
3 files changed, 6 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/99/179199/1
diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less
index 2a292f6..33d621f 100644
--- a/src/themes/mediawiki/common.less
+++ b/src/themes/mediawiki/common.less
@@ -43,6 +43,7 @@
@input-size: 2em;
@border-radius: 2px;
+@active-color: #d0d0d0;
// Theme mixins
diff --git a/src/themes/mediawiki/elements.less
b/src/themes/mediawiki/elements.less
index 2a4a397..2c382a9 100644
--- a/src/themes/mediawiki/elements.less
+++ b/src/themes/mediawiki/elements.less
@@ -136,8 +136,8 @@
& > .oo-ui-buttonElement-button:active,
&.oo-ui-buttonElement-active >
.oo-ui-buttonElement-button,
&.oo-ui-buttonElement-pressed >
.oo-ui-buttonElement-button {
- background-color: #d0d0d0;
- border-color: #d0d0d0;
+ background-color: @active-color;
+ border-color: @active-color;
}
&.oo-ui-flaggedElement {
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 21ea2ff..36e48d0 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -443,7 +443,7 @@
.oo-ui-selectWidget-depressed &-selected,
.oo-ui-selectWidget-pressed &-pressed {
- background-color: #d0d0d0;
+ background-color: @active-color;
}
&.oo-ui-widget-disabled {
@@ -559,7 +559,7 @@
}
.oo-ui-selectWidget-depressed &.oo-ui-optionWidget-selected {
- background-color: #d0d0d0;
+ background-color: @active-color;
text-shadow: 0 1px 1px #fff;
}
@@ -783,7 +783,7 @@
&.oo-ui-toggleWidget-on {
.oo-ui-toggleSwitchWidget-glow {
- background-color: #d0d0d0;
+ background-color: @active-color;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/179199
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibc5b586f86c853abec271b92506feae0e520c4ee
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
