W3C home > Mailing lists > Public > public-css-archive@w3.org > November 2019

Re: [csswg-drafts] [css-shapes] Calculation of corner radii by margin-box and border-radius (#675)

From: CSS Meeting Bot via GitHub <sysbot+gh@w3.org>
Date: Thu, 07 Nov 2019 00:06:58 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-550558405-1573085217-sysbot+gh@w3.org>
The CSS Working Group just discussed `[css-shapes] Calculation of corner radii by margin-box and border-radius`, and agreed to the following:

* `RESOLVED: accept the change that astearns put into the ED, handling the case where margin = 0 for very small values of shape-margin`

<details><summary>The full IRC log of that discussion</summary>
&lt;myles> Topic: [css-shapes] Calculation of corner radii by margin-box and border-radius<br>
&lt;myles> GitHub: https://github.com/w3c/csswg-drafts/issues/675<br>
&lt;myles> astearns: This is a small change to existing change dealing with an edge case when margins hit 0. There was some discussion. The person who raised the issue seems okay with the change, as does dbaron. I wanted to have a WG resolution.<br>
&lt;myles> astearns: Anyone have anything to add?<br>
&lt;myles> astearns: The proposed resolution is we accept the change that I put into the ED, handling the case where margin = 0 for very small values of shape-margin<br>
&lt;myles> astearns: objections?<br>
&lt;myles> RESOLVED: accept the change that astearns put into the ED, handling the case where margin = 0 for very small values of shape-margin<br>
</details>


-- 
GitHub Notification of comment by css-meeting-bot
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/675#issuecomment-550558405 using your GitHub account
Received on Thursday, 7 November 2019 00:06:59 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:41:56 UTC