1// Use pixels here instead of a rem-based size because the macOS traffic
 2// lights are a static size, and don't scale with the rest of the UI.
 3//
 4// Magic number: There is one extra pixel of padding on the left side due to
 5// the 1px border around the window on macOS apps.
 6#[cfg(macos_sdk_26)]
 7pub const TRAFFIC_LIGHT_PADDING: f32 = 78.;
 8
 9#[cfg(not(macos_sdk_26))]
10pub const TRAFFIC_LIGHT_PADDING: f32 = 71.;