Re: [csswg-drafts] [css-highlight-api] should priority be a floating point number or an integer? (#4592)

If we use numbers at all for this, we should just match z-index and use integers.

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

Received on Wednesday, 22 January 2020 14:02:58 UTC