- From: Drew Powers via GitHub <sysbot+gh@w3.org>
- Date: Thu, 24 Oct 2024 23:00:27 +0000
- To: public-design-tokens-log@w3.org
drwpow has just merged drwpow's pull request 254 for https://github.com/design-tokens/community-group: == Fix design token heading levels == ## Changes Fixes an unintentional heading level issue under “Design token” **Before** Section 5.2 seems to suggest that the following headings are underneath it (which would mirror Groups): ![before](https://github.com/user-attachments/assets/3806d007-353b-4ea9-95cd-3950f3b0f2fa) **After** Section 5.2 makes more sense with sub-headings (and makes Tokens and Groups consistent) ![after](https://github.com/user-attachments/assets/f996b8fb-d395-43bb-a5ac-5286f05f835d) See https://github.com/design-tokens/community-group/pull/254 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 24 October 2024 23:00:28 UTC