Holiday.
Holiday. The legal public holidays specified in paragraph (a) of section 6103, Title 5, of the United States Code (5 U.S.C. 6103(a)) and any other day declared to be a holiday by Federal statute or Executive Order. Under section 610 and Executive Order No. 10357, as amended, if the specified legal public holiday falls on a Saturday, the preceding Friday shall be considered to be the holiday, or if the specified legal public holiday falls on a Sunday, the following Monday shall be considered to be the holiday.