- From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
- Date: Mon, 28 Oct 2024 02:52:22 +0000
- To: public-css-archive@w3.org
frivoal has just labeled a pull request from keithamus for https://github.com/w3c/csswg-drafts as "Closed Accepted as Editorial": == [css-ui-4] Editorial improvement; removes redundant group notation from outline property == Similar to https://github.com/w3c/csswg-drafts/pull/11053, the css-ui-4 has a redundant group around the `outline` property value. It is currently specified as `[ <'outline-width'> || <'outline-style'> || <'outline-color'> ]`, but I think it could be better expressed without the `[]`, as `<'outline-width'> || <'outline-style'> || <'outline-color'>` instead. I'd like to point out that `caret` has similar shape, and is expressed as `<'caret-color'> || <'caret-animation'> || <'caret-shape'>`. So I think both should be have a consistent syntax. See https://github.com/w3c/csswg-drafts/pull/11094 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 28 October 2024 02:52:23 UTC