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.
6pub const TRAFFIC_LIGHT_PADDING: f32 = 71.;