[community-group] Merged Pull Request: fix: mobile issues from Drew Powers via GitHub on 2025-10-19 (public-design-tokens-log@w3.org from October 2025)

From: Drew Powers via GitHub <noreply@w3.org>
Date: Sun, 19 Oct 2025 03:20:08 +0000
To: public-design-tokens-log@w3.org
Message-ID: <pull_request.closed-2927289615-1760844006-noreply@w3.org>

drwpow has just merged drwpow's pull request 328 for https://github.com/design-tokens/community-group:

== fix: mobile issues ==
## Changes

Fixes

- Scrolling issue on mobile
- Sizing is inconsistent on mobile on homepage
- on iOS 26, menu doesn’t take up full height

## How to Review

N/A


See https://github.com/design-tokens/community-group/pull/328


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

Received on Sunday, 19 October 2025 03:20:10 UTC