Re: [csswg-drafts] [css2?] Define when border rounding happens, and to which properties it applies (#5210) from Sam Sneddon via GitHub on 2020-07-09 (public-css-archive@w3.org from July 2020)

From: Sam Sneddon via GitHub <sysbot+gh@w3.org>
Date: Thu, 09 Jul 2020 18:56:34 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-656295437-1594320993-sysbot+gh@w3.org>

On the whole this ties into the larger issue as to whether we should define rounding behaviour in CSS, which… we appear not to have an issue for?

-- 
GitHub Notification of comment by gsnedders
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5210#issuecomment-656295437 using your GitHub account

Received on Thursday, 9 July 2020 18:56:36 UTC