- From: Myles C. Maxfield via GitHub <sysbot+gh@w3.org>
- Date: Thu, 18 Mar 2021 00:22:02 +0000
- To: public-css-archive@w3.org
We could also just use “font-size”. There’s prior art of having duplicate descriptor/property names that mean different things: font-family, font-weight, font-style, font-stretch. -- GitHub Notification of comment by litherum Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/6114#issuecomment-801525467 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 18 March 2021 00:22:04 UTC