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-configReceived 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