Except as otherwise provided in employee agreements, the following together with any other days which might be specifically proclaimed in writing by the Mayor and Council are designated as legal holidays:
New Year’s Day;
Washington’s Birthday;
Good Friday;
Memorial Day;
Independence Day;
Labor Day;
Veterans Day;
Thanksgiving Day;
Friday after Thanksgiving; and
Christmas Day.
(Ord. B-358, passed 11-2-1981)