All city offices, including the Buda Public Library, are closed on Monday, November 12 in observance of Veterans Day.