From 8aac8e6d2b5c9e35bb0b9ec7b0dcc3bdee302e06 Mon Sep 17 00:00:00 2001
From: Phantom42 <nikitav30@gmail.com>
Date: Wed, 20 Dec 2017 17:18:55 +0200
Subject: [PATCH] Add `margin-bottom` for editButtons (EditPage)

Bug: T179040
Change-Id: I9e6c04556e4ff7f0cc567877041449f50abf4b4c
---
 .../mediawiki.action.edit.styles.less         | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.less b/resources/src/mediawiki.action/mediawiki.action.edit.styles.less
index 1d578e47cc..e4443f6384 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;
+	}
 }
-- 
2.20.1