All city offices, including the Buda Public Library, are closed on Wednesday, July 4, 2017 in observance of Independence Day.