Holidays shall be observed as follows:
(A) Ten paid holidays and two personal leave days are recognized by the city throughout the year; they are:
(1) New Year's Day.
(2) Martin Luther King Day.
(3) Memorial Day (last Monday in May).
(4) Independence Day (July 4).
(5) Labor Day.
(6) Columbus Day (second Monday in October).
(7) Thanksgiving Day.
(8) The day following Thanksgiving.
(9) Christmas Eve.
(10) Christmas Day.
(11) Personal leave day.
(12) Personal leave day.
(B) Any special holidays declared by the Congress or the President of the United States or the General Assembly or Governor of the state shall be recognized as official holidays.
(C) If one of the above holidays should fall on a Sunday, it will be observed on the following Monday, or, if the holiday should fall on Saturday, it will be observed on the preceding Friday. All holidays shall be observed as stipulated in national or state holiday bill.
(D) Holidays which occur during vacation leave shall not be charged against vacation.
(E) Whenever an employee is absent from work and not in paid status on the work day before a holiday or the work day after a holiday, he shall not be paid for the holiday.
(F) Employees in the Police Department or other operational services who are required by virtue of work schedule to work during an approved holiday shall receive one day's compensatory time off to be scheduled at the discretion of the department head.
(Ord. 17-1971, passed 4-5-71; Am. Ord. 3-1981, passed 1-1981; Am. Ord. 2-1985, passed 1-7-85; Am. Ord. 2-1986, passed 1-20-86)