- From: Drew Powers via GitHub <noreply@w3.org>
- Date: Tue, 13 Jan 2026 16:53:14 +0000
- To: public-design-tokens-log@w3.org
drwpow has just merged drwpow's pull request 380 for https://github.com/design-tokens/community-group: == fix: header border == ## Changes Fixes an accidental “off by 1 (pixel)” error in CSS. **Before** <img width="1346" height="212" alt="CleanShot 2026-01-13 at 09 44 43@2x" src="https://github.com/user-attachments/assets/8f86ea62-24a3-4996-a611-d122f3292468" /> **After** <img width="1426" height="388" alt="CleanShot 2026-01-13 at 09 50 21@2x" src="https://github.com/user-attachments/assets/51910210-3b9c-4618-874a-50ab266e7f68" /> ## How to Review - See screenshots - Verified working in deploy preview See https://github.com/design-tokens/community-group/pull/380 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 13 January 2026 16:53:15 UTC