(1) Full-time employees receive eight hours of regular holiday pay on a personal holiday. Any differences between the scheduled shift for the day and eight hours may be adjusted by use of vacation leave, use or accumulation of compensatory time as appropriate, or leave without pay.

(2) Part-time higher education employees are entitled to the number of paid hours on a personal holiday that their monthly schedule bears to a full time schedule.