- From: Christoph Päper via GitHub <sysbot+gh@w3.org>
- Date: Mon, 07 Jun 2021 06:41:44 +0000
- To: public-css-archive@w3.org
There’s #820 which would get you this:
~~~~ css
.box {
size: 50px;
padding: 50px;
margin: 50px;
}
~~~~
It’s rare that padding and margin or the dimensions have the same value, so there is absolutely no need or value in making it any shorter to write than this.
--
GitHub Notification of comment by Crissov
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/6353#issuecomment-855635444 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 7 June 2021 06:42:15 UTC