Correct, if there should be any rounding applied it should definitely not be OS-specific, but it should be applied at a higher level. Also, you write:
> The DPI from GDK is a font scaling dpi.
And exactly that is why it should be applied as is. Because right now, it is applied to the fonts in all applications except Firefox. Of course, applying the scaling _only_ to fonts does not make sense in the context of websites, so everything must be scaled.
Correct, if there should be any rounding applied it should definitely not be OS-specific, but it should be applied at a higher level. Also, you write:
> The DPI from GDK is a font scaling dpi.
And exactly that is why it should be applied as is. Because right now, it is applied to the fonts in all applications except Firefox. Of course, applying the scaling _only_ to fonts does not make sense in the context of websites, so everything must be scaled.