- From: Somnium7 via GitHub <sysbot+gh@w3.org>
- Date: Tue, 27 Sep 2022 11:46:20 +0000
- To: public-css-archive@w3.org
> * Or a `box-sizing` keyword to add scrollbars to height rather than subtract from it? Having actually `box-sizing` option for scrollbars can be useful for a lot of other cases! -- GitHub Notification of comment by Somnium7 Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7542#issuecomment-1259382840 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 27 September 2022 11:46:22 UTC