- From: Drew Powers via GitHub <noreply@w3.org>
- Date: Mon, 13 Oct 2025 22:37:59 +0000
- To: public-design-tokens-log@w3.org
drwpow has just submitted a new pull request for https://github.com/design-tokens/community-group: == feat: Add PageFind == ## Changes Adds PageFind and basic styles. https://github.com/user-attachments/assets/97358cf1-0e23-4a6f-89a0-ad2d8deecb55 >[!WARNING] > This is not responsive. This just adds some basic searching, and needs #324 to land, then this will get followup fixes on desktop and mobile. ## How to Review - See preview, try it out See https://github.com/design-tokens/community-group/pull/326 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 13 October 2025 22:38:00 UTC