Legal holidays
Legal holidays. Those days designated as legal public holidays specified by Congress in paragraph (a) of section 6103, title 5 of the United States Code and any other day declared to be a holiday by Federal Statute or Executive Order. Under section 6103 and Executive Order 10357, as amended, if the specified legal public holiday falls on a Saturday, the preceding Friday shall be considered the holiday, or if the specified legal holiday falls on a Sunday, the following Monday shall be considered to be the holiday.