Re: [community-group] fix: header border (#380)

Since this fixes a visual bug and doesn’t add/change anything significant I’m going to merge without review 🙏 

-- 
GitHub Notification of comment by drwpow
Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/380#issuecomment-3745380766 using your GitHub account


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

Received on Tuesday, 13 January 2026 16:52:15 UTC