// Logical pixels: compact controls, popup menus, and larger surfaces.
// Circular indicators, switches, progress bars, and native window chrome
// retain radii derived from their own geometry.
export global UiRadius {
    out property <length> control: 6px;
    out property <length> menu: 8px;
    out property <length> surface: 12px;
}