Function header

fn header(
    ctx: &EventCtx<'_>,
    details: &mut Details,
    id: ParkingLotID,
    tab: Tab,
) -> Widget