BUG: When window.devicePixelRatio is not an integer (e.g., 1.25), the styles of Ext JS components may render incorrectly
https://developer.mozilla.org/en-US/docs/Web/API/Window/devicePixelRatio
https://developer.mozilla.org/en-US/docs/Web/API/Window/devicePixelRatio