jenkins-bot has submitted this change and it was merged.
Change subject: Remove padding from undecorated option widgets
......................................................................
Remove padding from undecorated option widgets
No decoration, no padding.
Change-Id: Ia4a47f2836f5d64f4a490f2d958ab139d1a673d7
---
M src/themes/apex/widgets.less
M src/themes/mediawiki/widgets.less
2 files changed, 6 insertions(+), 2 deletions(-)
Approvals:
Trevor Parscal: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/apex/widgets.less b/src/themes/apex/widgets.less
index 6638175..a0ffbbf 100644
--- a/src/themes/apex/widgets.less
+++ b/src/themes/apex/widgets.less
@@ -284,7 +284,7 @@
}
.theme-oo-ui-optionWidget () {
- padding: 0.5em 2em 0.5em 3em;
+ padding: 0.25em 0.5em;
border: none;
&-highlighted {
@@ -309,6 +309,8 @@
}
.theme-oo-ui-decoratedOptionWidget () {
+ padding: 0.5em 2em 0.5em 3em;
+
.oo-ui-iconElement-icon,
.oo-ui-indicatorElement-indicator {
top: 50%;
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 6e038ad..9afb131 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -335,7 +335,7 @@
.theme-oo-ui-labelWidget () {}
.theme-oo-ui-optionWidget () {
- padding: 0.5em 2em 0.5em 3em;
+ padding: 0.25em 0.5em;
border: none;
&-highlighted {
@@ -357,6 +357,8 @@
}
.theme-oo-ui-decoratedOptionWidget () {
+ padding: 0.5em 2em 0.5em 3em;
+
.oo-ui-iconElement-icon,
.oo-ui-indicatorElement-indicator {
top: 50%;
--
To view, visit https://gerrit.wikimedia.org/r/175592
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia4a47f2836f5d64f4a490f2d958ab139d1a673d7
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Trevor Parscal <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
