- From: L. David Baron via GitHub <sysbot+gh@w3.org>
- Date: Wed, 31 Jul 2019 16:21:11 +0000
- To: public-css-archive@w3.org
One other piece of context here is that it may be useful to do the same thing that borders do: I think borders have reasonable interop on the interaction of `border-style: double` and `border-width` -- however borders don't have `wavy`. -- GitHub Notification of comment by dbaron Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4134#issuecomment-516920521 using your GitHub account
Received on Wednesday, 31 July 2019 16:21:13 UTC