- From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
- Date: Sat, 12 Aug 2023 00:45:51 +0000
- To: public-css-archive@w3.org
The existing border widths have been defined precisely in #7254. And introducing a `hairline` value is discussed in #3720. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/1331#issuecomment-1675574550 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 12 August 2023 00:45:52 UTC