From 6ac1e58d2578dad23e1697b36f9bcfc2ac4776b5 Mon Sep 17 00:00:00 2001 From: Simon Pieters Date: Tue, 4 Nov 2025 12:54:55 +0100 Subject: [PATCH] Make topmargin and leftmargin attributes apply to both sides Fixes #11879. --- source | 20 ++------------------ 1 file changed, 2 insertions(+), 18 deletions(-) diff --git a/source b/source index 2f92781ba5c..6fc4b1d823e 100644 --- a/source +++ b/source @@ -145101,7 +145101,7 @@ html, body { display: block; } Source - 'margin-top' + 'margin-top', 'margin-bottom' The body element's marginheight attribute The body element's topmargin attribute @@ -145109,23 +145109,7 @@ html, body { display: block; } The body element's container frame element's marginheight attribute - 'margin-right' - The body element's marginwidth attribute - - The body element's rightmargin attribute - - The body element's container frame element's marginwidth attribute - - - 'margin-bottom' - The body element's marginheight attribute - - The body element's bottommargin attribute - - The body element's container frame element's marginheight attribute - - - 'margin-left' + 'margin-left', 'margin-right' The body element's marginwidth attribute The body element's leftmargin attribute