- From: Tab Atkins Jr. via GitHub <noreply@w3.org>
- Date: Mon, 13 Oct 2025 20:08:47 +0000
- To: public-css-archive@w3.org
Yeah, I can go either way. I agree that this *is* meant to handle the case when the anchor is fully hidden, so it seems somewhat reasonable to ignore scroll-margin/padding, but I'm fine either way (as expressed on the call). -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/10410#issuecomment-3398911934 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 13 October 2025 20:08:48 UTC