W3C home > Mailing lists > Public > public-css-archive@w3.org > November 2020

[csswg-drafts] [css-box-4] margin-trim or trim-margin (#5750)

From: Masataka Yakura via GitHub <sysbot+gh@w3.org>
Date: Sun, 29 Nov 2020 20:14:38 +0000
To: public-css-archive@w3.org
Message-ID: <issues.opened-752997052-1606680876-sysbot+gh@w3.org>
myakura has just created a new issue for https://github.com/w3c/csswg-drafts:

== [css-box-4] margin-trim or trim-margin ==
In September the group resolved to rename `ledding-trim` to `trim-ledding`.
https://lists.w3.org/Archives/Public/www-style/2020Sep/0001.html

This now makes me wonder if `margin-trim` gets the same facelift.
https://drafts.csswg.org/css-box-4/#margin-trim

Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5750 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 29 November 2020 20:14:51 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:22 UTC