- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Tue, 26 Jun 2018 12:08:34 +0000
- To: public-css-archive@w3.org
I don't think random() would make sense. When should it be evaluated? Whenever the style of an element is resolved? That's right now implementation dependent, there are engines that optimize style changes better than others. -- GitHub Notification of comment by emilio Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/2826#issuecomment-400283842 using your GitHub account
Received on Tuesday, 26 June 2018 12:08:50 UTC