All City of Buda offices, including the Buda Public Library, will close at 11:30 AM on Friday, Dec. 13 for the City's Employee Holiday Luncheon.