pub const MENU_WIDTH: f32 = _ /* 200f32 */;
Menu chrome, in one place so a native renderer’s absence still looks deliberate rather than improvised.