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-configReceived on Wednesday, 2 September 2020 23:52:47 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:15 UTC