jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/349525 )
Change subject: MediaWiki theme: Decrease selector specificity and fix invalid
appearance
......................................................................
MediaWiki theme: Decrease selector specificity and fix invalid appearance
Bug: T163522
Change-Id: I708d5fdedf39581a0d70f679e063d3b8d6c4ad29
---
M src/themes/mediawiki/widgets.less
1 file changed, 16 insertions(+), 15 deletions(-)
Approvals:
jenkins-bot: Verified
Mooeypoo: Looks good to me, approved
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index fa5156c..e0a7440 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -1552,18 +1552,6 @@
line-height: 1.7;
vertical-align: middle;
- &.oo-ui-flaggedElement-invalid {
- border-color: @border-color-erroneous;
-
- &:hover {
- border-color: @border-color-erroneous;
- }
- &:focus {
- border-color: @border-color-erroneous;
- box-shadow: @box-shadow-erroneous-focus;
- }
- }
-
&.oo-ui-widget-enabled {
background-color: @background-color-framed;
color: @color-default;
@@ -1585,6 +1573,19 @@
border-color: @border-color-default-focus;
box-shadow: @box-shadow-widget-focus;
outline: 0;
+ }
+
+ &.oo-ui-flaggedElement-invalid {
+ border-color: @border-color-erroneous;
+
+ &:hover {
+ border-color: @border-color-erroneous;
+ }
+
+ &:focus {
+ border-color: @border-color-erroneous;
+ box-shadow: @box-shadow-erroneous-focus;
+ }
}
// Clear button
@@ -1704,10 +1705,10 @@
border-bottom: 0;
border-bottom-left-radius: 0;
border-bottom-right-radius: 0;
+ }
- .oo-ui-tagItemWidget.oo-ui-widget-enabled {
- background-color:
@background-color-default;
- }
+ .oo-ui-tagItemWidget.oo-ui-widget-enabled {
+ background-color: @background-color-default;
}
.oo-ui-inputWidget-input {
--
To view, visit https://gerrit.wikimedia.org/r/349525
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I708d5fdedf39581a0d70f679e063d3b8d6c4ad29
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Mooeypoo <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
