jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/378999 )

Change subject: Chore: Fix double spacing in Page template
......................................................................


Chore: Fix double spacing in Page template

In the Page-content, which has inner bottom spacing due to the spacing
from Paper, the last element's margin could accumulate with the bottom
padding, producing double-space.

As such, make the last element inside the content not have any extrinsic
spacing (margin) that could add to the inner spacing in the Page.

Change-Id: I78635f111caf95ec08e307293269e03b3f630195
---
M src/common/components/page/page.css
M src/common/components/paper/paper.css
2 files changed, 10 insertions(+), 3 deletions(-)

Approvals:
  Niedzielski: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/src/common/components/page/page.css 
b/src/common/components/page/page.css
index c819516..7a28309 100644
--- a/src/common/components/page/page.css
+++ b/src/common/components/page/page.css
@@ -17,4 +17,11 @@
   color: var(--wmui-color-base20);
 }
 
-.Page-content {}
\ No newline at end of file
+.Page-content {}
+
+.Page-content>:last-child {
+  /* Remove extrinsic bottom spacing (margin) from the last element in the
+  content, given that it will accumulate with padding in the Paper sheet and
+  present double spacing at the bottom of the container */
+  margin-bottom: 0;
+}
\ No newline at end of file
diff --git a/src/common/components/paper/paper.css 
b/src/common/components/paper/paper.css
index e56522a..3c22870 100644
--- a/src/common/components/paper/paper.css
+++ b/src/common/components/paper/paper.css
@@ -13,5 +13,5 @@
 .Paper-separator {
   height: 1px;
   background-color: var(--wmui-color-base80);
-  margin: var(--space) calc(-1*var(--space));
-}
\ No newline at end of file
+  margin: var(--space) calc(-1 * var(--space));
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/378999
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I78635f111caf95ec08e307293269e03b3f630195
Gerrit-PatchSet: 3
Gerrit-Project: marvin
Gerrit-Branch: master
Gerrit-Owner: Niedzielski <sniedziel...@wikimedia.org>
Gerrit-Reviewer: Jhernandez <jhernan...@wikimedia.org>
Gerrit-Reviewer: Niedzielski <sniedziel...@wikimedia.org>
Gerrit-Reviewer: Sniedzielski <sniedziel...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to