The following days are established as "city holidays": the first day of January; the third Monday in February; the last Monday in May; the fourth day of July; the first Monday in September; the eleventh day of November; the fourth Thursday in November; the Friday following the fourth Thursday in November; and the twenty-fifth day of December.
Whenever any city holiday falls upon a Sunday, the following Monday shall be the city holiday, and whenever a holiday falls on a Saturday, the preceding Friday shall be the city holiday.
(Ord. 1694 § 1, 1974; Ord. 1793 § 1, 1976; Ord. 2552 § 1, 1994)