- From: Amelia Bellamy-Royds via GitHub <sysbot+gh@w3.org>
- Date: Wed, 02 Sep 2020 23:52:46 +0000
- To: public-css-archive@w3.org
On the name question: we don't actually use “leading” to describe space between lines anywhere in CSS, do we? Could this be `line-height-trim` or something similar? (I myself initially assumed it was “leading” meaning “trim off the starting bit, above the first line”, not “trimming off the extra lead/metal from your type pieces so you can pack them in more compactly”.) -- GitHub Notification of comment by AmeliaBR Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5237#issuecomment-686128348 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 2 September 2020 23:52:47 UTC