pub fn maximized_chrome_height(theme: &Theme) -> f64
Theme-measured system lane reserved above a maximized client.