(a) If a full-time employee is relieved or prevented from working on a day designated as a holiday by Federal statute or Executive order, the employee is entitled to basic pay for the number of hours of the compressed work schedule on that day.

(b) If a part-time employee is relieved or prevented from working on a day within the employee's scheduled tour of duty that is designated as a holiday by Federal statute or Executive order, the employee is entitled to basic pay for the number of hours of the compressed work schedule on that day. When a holiday falls on a nonworkday of a part-time employee, he or she is not entitled to an in-lieu-of day for that holiday.