- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Sun, 14 Jun 2020 09:28:02 +0000
- To: public-css-archive@w3.org
emilio has just created a new issue for https://github.com/w3c/csswg-drafts: == [css2?] Define when border rounding happens, and to which properties it applies == See https://crisal.io/words/2020/06/13/rounding-borders.html At least the rounding up to device pixels happens consistently at computed value time: * https://searchfox.org/mozilla-central/rev/20ad814e4cc3d5eb3e33ccec6ed2b17255205aca/servo/components/style/gecko/values.rs#40 * https://webkit-search.igalia.com/webkit/rev/357f5ddb37eef4235a7ca33367f9833b4204705e/Source/WebCore/style/StyleBuilderConverter.h#297 * https://source.chromium.org/chromium/chromium/src/+/master:third_party/blink/renderer/core/css/resolver/style_builder_converter.cc;l=1077;drc=6993ed8e5cdcfbae4e5ff7891ddfb4de128dd846 Shipping Gecko and WebKit (my post was wrong, Blink and WebKit diverge, will fix) also floor to dev pixels at computed value time. Blink floors at rendering time, which I think is more unfortunate. Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5210 using your GitHub account
Received on Sunday, 14 June 2020 09:28:03 UTC