(a) There shall be eleven (11) paid holidays for full-time employees. These holidays shall be New Year's Day, Martin Luther King Day, President's Day, Memorial Day, Juneteenth, Independence Day, Labor Day, Veterans Day, Thanksgiving Day, the Friday after Thanksgiving Day and Christmas Day. In addition, there shall be three one-half (3½) day paid holidays, these being one-half (½) day before Christmas Day, one-half day before New Year's Day and one-half (1½) day on Good Friday afternoon. If it shall be necessary to work any or all of these days the employee may substitute working days at the discretion of the department head or City Manager.
(b) In case the holiday falls on Saturday, the previous Friday shall be considered as the legal holiday. In case the holiday falls on Sunday, the following Monday shall be considered the legal holiday.
(c) Any substituted working day for a holiday day authorized as provided in subsection (a) hereof must be taken by each employee entitled thereto, during the calendar year of such holiday. Unused holiday pay is lost as of December 31st of each year is earned.
(d) If an employee leaves employment during the year, any used unaccrued holiday hours shall be deducted from the employee's leave payout. Unused accrued holiday hours shall not be paid out upon retirement or separation.
(Ord. 2023-23. Passed 8-22-23.)