- From: jfkthame via GitHub <sysbot+gh@w3.org>
- Date: Thu, 13 Feb 2025 22:22:32 +0000
- To: public-css-archive@w3.org
I'm a little bit nervous of this rounded `hairline`, given that the dimension it rounds to will depend on device resolution, which could mean that the same content ends up changing its layout when a window is moved between two different-resolution screens (because all the `hairline` borders suddenly jump from being 0.25px to 1px or whatever). I think people would find that surprising and unwelcome. Maybe the effect would usually be so slight that it wouldn't really matter? I'm not sure. -- GitHub Notification of comment by jfkthame Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2657833907 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 13 February 2025 22:22:33 UTC