- From: Alan Jeffrey via GitHub <sysbot+gh@w3.org>
- Date: Thu, 22 Jun 2017 19:00:18 +0000
- To: public-houdini-archive@w3.org
Not sure that padding/border/margin is irrelevant here, given a box we need to know which size to use, the only way I could see to calculate it involved border + margin. -- GitHub Notification of comment by asajeffrey Please view or discuss this issue at https://github.com/w3c/css-houdini-drafts/issues/417#issuecomment-310471859 using your GitHub account
Received on Thursday, 22 June 2017 19:00:24 UTC