5 U.S. Code § 6124
5 U.S. Code § 6124 is about Flexible schedules; holidays. It is under Subchapter II (Flexible And Compressed Work Schedules) of Chapter 61 (Hours Of Work) of Subpart E (Attendance and Leave) of Part III (Employees) of Title 5 (Government Organizations and Employees) of the Code.
Notwithstanding sections 6103 and 6104 of this title, if any employee on a flexible schedule under section 6122 of 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 Office of Personnel Management).