§ 31.03 HOLIDAYS.
   Official holidays are the days on which are celebrated New Years' Day, Lincoln's Birthday, Washington's Birthday, Good Friday, Memorial Day, Independence Day, Labor Day, Columbus Day, Veteran's Day, Thanksgiving and Christmas. If any of the above holidays fall on a Sunday, the following Monday shall be deemed the official date of the holiday. If the holiday falls on a Saturday, a substitute day shall be granted at the discretion; of the department head and when the time off does not interfere with the operation of the department. Employees on an hourly basis must work the day before and the day after the holiday to get credit for the holiday. If there is a conflict between these rules and the federal Monday holiday law, the federal law shall prevail.
(Adopted 10-6-70)