Function game::info::building::header

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