Re: [csswg-drafts] [css-page-3] should border-short-style be border-style? (#3156)

Was going to say the same thing... looks like this simple type has still not been fixed.

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


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 3 August 2023 21:38:24 UTC