(a) The following holidays shall be paid holidays for regular employees: New Year's Day, Memorial Day, Independence Day, Labor Day, Thanksgiving Day, Veteran's Day and Christmas Day, or any other day on which any of such holidays are celebrated. Each full-time employee shall also be entitled to treat as a holiday his birthday and one personal day as selected by each employee. (Ord. 4-1981. Passed 1-19-81.)
(b) If a vacation period includes any holiday listed in subsection (a) hereof, or any other day on which any of such holiday is celebrated, one additional day for each such included holiday shall be allowed at the time such vacation is approved by the department head.
(Ord. 20-1965. Passed 7-13-65.)