Text this: Providing for the designation of holidays for the officers and employees of the Government of the District of Columbia for pay and leave purposes.