5 U.S.C. § 104

Notwithstanding sections 6103 and 6104 of title 5, United States Code, if any employee on a flexible schedule under this title is relieved or prevented from working on a day designated as a holiday by Federal statute or Executive order, such employee is entitled to pay with respect to that day for 8 hours (or, in the case of a part-time employee, an appropriate portion of the employee’s biweekly basic work requirement as determined under regulations prescribed by the Commission).