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

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