public static scaleMetric(value as Int) as Int:
Scales an integer metric with the current content zoom.
Use this for non-font dimensions such as padding, spacing, borders and default control sizes when the metric is not already computed from KSS.
gutter = ThemeManager.scaleMetric(12)