Apply a workaround for a rounding issue in WebKit