[Added 3-15-1961; amended 3-14-1966; 3-8-1971]
The following shall be considered holidays with pay for all full-time employees: New Year's Day, Martin Luther King's Birthday, Presidents' Day, Good Friday, Memorial Day, Independence Day, Labor Day, Columbus Day, Veterans Day, Thanksgiving Day, day after Thanksgiving, Christmas Eve (1/2 day), Christmas Day, New Year's Eve (1/2 day). Friday shall be considered a holiday with pay when any of the aforesaid holidays falls on a Saturday. Monday shall be considered a holiday with pay when any of the aforesaid holidays falls on a Sunday. Any employee who works on a holiday shall receive a day's pay therefor as an extra day worked.