- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Mon, 11 Mar 2024 18:48:33 +0000
- To: public-css-archive@w3.org
Even if we *had* named it `corner-radius`, it's still defined in terms of shaping the border box (and then, additionally, the padding and content boxes if necessary), so it's appropriate to include in the "border properties" term imo. (If the Borders spec specifically needs a term for "the longhand of 'border'" (excluding the radius stuff), well, "the longhands of 'border'" is already a technical term for that grouping. We can dfn it as `'border' longhands` if needed.) -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9245#issuecomment-1989194194 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 11 March 2024 18:48:35 UTC