Re: [csswg-drafts] [css-borders] Add a 'hairline' border-width value (#3720)

Ironically I think I just came across a decent use case for the naive env() approach while cleaning up the Firefox titlebar...

Consider an icon font. If you want crisp icons, you want the font-size snapped to real device pixels. That's trivialish to do with an hypothetical `env(resolution)` and `round()`.

Otherwise you end up with hacks like these: https://searchfox.org/mozilla-central/rev/beba5cde846f944c4d709e75cbe499d17af880a4/browser/themes/windows/browser.css#209 (those are for svgs but I'm switching them to text).

Not sure that's enough to justify it, and I might be missing something, but... :)


-- 
GitHub Notification of comment by emilio
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2989276604 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 19 June 2025 22:35:22 UTC