- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Tue, 08 Apr 2025 21:58:55 +0000
- To: public-css-archive@w3.org
Yup, exactly. We've discussed this topic many times over the years, and #3715 is the most recent; it contains a good discussion of why we're *not* willing to add this. Meanwhile, #3720 is about "hairline" borders, which the WG has been recently discussing, and I expect we'll be able to agree on soon. So, I'll close this one as a dupe. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/12056#issuecomment-2787753469 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 8 April 2025 21:58:56 UTC