Function info_body

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