- From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
- Date: Thu, 14 Jul 2022 11:16:42 +0000
- To: public-css-archive@w3.org
Obviously, @Loirooriol suggested this change in #7365 because the initial suggestion to replace `border-style` by `border-color` is obviously incorrect. In my opinion, the current sentence doesn't need to be changed. The border _is_ defined by the `border-style` properties and the `border-color` properties are used to set their color. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/7488#issuecomment-1184321585 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 14 July 2022 11:16:44 UTC