jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/399416 )
Change subject: Add `margin-bottom` for editButtons (EditPage)
......................................................................
Add `margin-bottom` for editButtons (EditPage)
Bug: T179040
Change-Id: I9e6c04556e4ff7f0cc567877041449f50abf4b4c
---
M resources/src/mediawiki.action/mediawiki.action.edit.styles.less
1 file changed, 21 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
VolkerE: Looks good to me, approved
diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
b/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
index 1d578e4..e4443f6 100644
--- a/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
+++ b/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
@@ -57,4 +57,25 @@
.editOptions {
border-radius: 0 0 2px 2px;
}
+
+ .editButtons .oo-ui-buttonInputWidget,
+ .cancelLink,
+ .editHelp {
+ margin-top: 0.5em;
+ }
+
+ .cancelLink,
+ .editHelp {
+ display: inline-block;
+ vertical-align: middle;
+ }
+
+ // FIXME: Remove CSS magic together with DOM element in T183672
+ .mw-editButtons-pipe-separator {
+ display: inline-block;
+ padding-top: 0.625em;
+ padding-bottom: 0.546875em;
+ line-height: 1.172em;
+ vertical-align: middle;
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/399416
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9e6c04556e4ff7f0cc567877041449f50abf4b4c
Gerrit-PatchSet: 8
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Phantom42 <[email protected]>
Gerrit-Reviewer: Phantom42 <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
