- From: jsnkuhn via GitHub <sysbot+gh@w3.org>
- Date: Mon, 18 Mar 2024 12:18:33 +0000
- To: public-css-archive@w3.org
This styling for Chrome's tab grouping has been staring me in the face for a while I just never noticed that it was a partial border. Again not `angle` but does fit the bill as a possible partial `notch`-ed corner shape with `border-radius`.  -- GitHub Notification of comment by jsnkuhn Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9072#issuecomment-2003763770 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 18 March 2024 12:18:34 UTC