jenkins-bot has submitted this change and it was merged.
Change subject: RadioSelectInputWidget: Match PHP styling to JS
......................................................................
RadioSelectInputWidget: Match PHP styling to JS
Close enough.
Bug: T131918
Change-Id: Ib674d097f3baf71fcdbcb2bf8eef9fd89cefdaa3
---
M src/themes/apex/widgets.less
M src/themes/mediawiki/widgets.less
2 files changed, 9 insertions(+), 3 deletions(-)
Approvals:
Esanders: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/apex/widgets.less b/src/themes/apex/widgets.less
index f481bc7..e92e037 100644
--- a/src/themes/apex/widgets.less
+++ b/src/themes/apex/widgets.less
@@ -944,9 +944,7 @@
}
}
-.theme-oo-ui-radioSelectWidget () {
- padding: 0.75em 0 0.5em 0;
-}
+.theme-oo-ui-radioSelectWidget () {}
.theme-oo-ui-menuSelectWidget () {
background-color: @background-color-main;
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index f64bb84..bb936d7 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -550,6 +550,14 @@
.theme-oo-ui-radioSelectInputWidget () {
.oo-ui-fieldLayout {
margin-bottom: 0;
+
+ .oo-ui-fieldLayout-body {
+ padding: 0.25em 0;
+
+ .oo-ui-labelElement-label {
+ line-height: 1.5em;
+ }
+ }
}
}
--
To view, visit https://gerrit.wikimedia.org/r/281944
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib674d097f3baf71fcdbcb2bf8eef9fd89cefdaa3
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
