- From: Drew Powers via GitHub <noreply@w3.org>
- Date: Tue, 14 Oct 2025 15:13:50 +0000
- To: public-design-tokens-log@w3.org
drwpow has just merged drwpow's pull request 326 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 Tuesday, 14 October 2025 15:13:50 UTC