Phantom42 has uploaded a new change for review. (
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, 6 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/16/399416/1
diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
b/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
index 1d578e4..c7044c7 100644
--- a/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
+++ b/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
@@ -57,4 +57,10 @@
.editOptions {
border-radius: 0 0 2px 2px;
}
+
+ .editButtons {
+ #wpSaveWidget, #wpPreviewWidget, #wpDiffWidget {
+ margin-bottom: 0.5em;
+ }
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/399416
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9e6c04556e4ff7f0cc567877041449f50abf4b4c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Phantom42 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
