public static scaleMetric(value as Double) as Double:
Scales a floating-point metric with the current content zoom.
border = ThemeManager.scaleMetric(1.5)