Employees working on a holiday shall be compensated for such time worked at the rate of one and one-half (1-½) times the straight-time rate. This compensation may, at the option of the employee, be in the form of overtime pay or compensatory time off, but may not be a combination

14.5 Seasonal employees are not entitled to paid holidays. If such employees work on holidays, they shall be paid the same amount as for any other day.

If any of the holidays listed above falls on a day other than Sunday and the employee is not regularly scheduled to work that day, or if an employee is required to work on a holiday, the employee shall be entitled to equivalent straight time off with pay. An employee

If one of the holidays listed above falls on Sunday and the employee is not regularly scheduled to work that day, the employee’s first regularly scheduled workday following the holiday shall be considered a holiday.

The holidays in this County are: (1) January 1 (New Year’s Day) (2) Third Monday in January (Martin Luther King, Jr.’s Birthday) (3) February 12* (Lincoln’s Birthday) (4) Third Monday in February (Washington’s Birthday) (5) Last Monday in May (Memorial Day) (6) July 4 (Independence Day) (7) First Monday in September

14.1 Eligibility Regular full-time employees in established positions shall be entitled to take all authorized holidays at full pay, not to exceed eight (8) hours for any one day, provided they are in a full pay status on both their regularly scheduled workdays immediately preceding and following the holiday. Part-time