Additional Holidays Every day declared by the President or Governor of this state as a public fast, thanksgiving, or holiday, or any day declared a holiday by the Board of Trustees under Education Code Section 5202, 5202.1, or 877, or their successors, shall be a paid holiday for all employees in the bargaining unit.
Personal Holiday Each employee is entitled to a personal holiday as governed by the provisions of section 110.117, Florida Statutes.
Additional Hours Employees who are required to work additional hours beyond their working week are entitled to receive enhancements on the following basis: Monday to Saturday Time and a half Sundays and Public and Extra Statutory holidays Double time (min 2 hours) (Part-time employees are entitled to these enhancements only at times and in circumstances in which full-time employees in the establishment would qualify. Otherwise a full working week for full-time employees shall be worked by a part-time employee before these enhancements apply).
Payment for Working Overtime on a Holiday Where an employee is required to work authorized overtime in excess of his regularly scheduled hours on a paid holiday, such employee shall receive twice (2x) his regular straight time hourly rate for such authorized overtime.
Payment for Working on a Holiday (The following clause is applicable to full-time employees only)