§ 31.85 OFFICIAL HOLIDAYS.
   (A)   The following are designated official holidays for the city:
   New Year’s Day
   Washington’s Birthday
   Good Friday
   Independence Day
   Labor Day
   Thanksgiving
   The day after Thanksgiving
   December 24
   Christmas Day
(‘69 Code, § 2-185) (Ord. 79-0-8, passed 11-12-79)
   (B)   Any employee who, because of the nature of his work, is required to be on duty on any holiday, shall be entitled to an alternate day off. The day so selected must be approved by the chairman of the committee in charge of the department involved.
   (C)   When any official holiday as designated in division (A) hereof falls on a Saturday, all city employees shall be entitled to a holiday on the Friday immediately preceding the Saturday on which the holiday falls, subject to the provisions of division (B) hereof.
   (D)   When any official holiday as designated in division (A) hereof, falls on a Sunday, all city employees shall be entitled to a holiday on the Monday immediately following the Sunday on which the holiday falls, subject to the provisions of division (B).
   (E)   Should an official holiday fall within the selected vacation period of any employee, the employee shall be entitled to one additional day of vacation.
(‘69 Code, § 2-186) (Ord. 64-0-12, passed 11-16-64; Am. Ord. 70-0-6, passed 7-27-70)