From 5691e4c7c4391c07fee23b3f0c0de5ffb76301ee Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Thu, 11 Jun 2020 17:03:07 -0700
Subject: [PATCH] [less] Move `margin` and `padding` on `body` only

Both properties are needed for normalizing different browsers (`padding`
infamous on older Operas) and are only needed on `body`.

Change-Id: I661869ed43491824cbfe86dc36e39f97e29ccf8a
---
 resources/skins.vector.styles/common/normalize.less | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/resources/skins.vector.styles/common/normalize.less b/resources/skins.vector.styles/common/normalize.less
index a9241c57a..94718fcef 100644
--- a/resources/skins.vector.styles/common/normalize.less
+++ b/resources/skins.vector.styles/common/normalize.less
@@ -9,6 +9,9 @@
 html,
 body {
 	height: 100%;
+}
+
+body {
 	margin: 0;
 	padding: 0;
 }