D.C. Mun. Regs. tit. 6, r. 6-C1222
Whenever a legal public holiday falls on a workday in the basic workweek of Monday through Friday, that workday shall be the holiday.
Whenever a legal public holiday falls on a non-workday of a basic workweek of Monday through Friday, the holiday shall be the Monday immediately following a legal public holiday occurring on Sunday, or the Friday immediately preceding a legal public holiday occurring on a Saturday.
When a legal public holiday falls on a non-workday in a workweek that is other than Monday through Friday, the holiday shall be determined as follows:
For a part-time employee, whenever a legal public holiday falls on a workday within the employee's scheduled tour of duty that shall be the holiday.
For a part-time employee, whenever a legal public holiday falls on a nonworkday for that employee, he or she shall not be entitled to a holiday.
When a legal public holiday falls on an employee's workday that covers two (2) calendar days, he or she shall be excused from work on the entire workday that begins on the calendar day of the legal public holiday.
An employee who has two (2) regular tours of duty, both beginning on a holiday, shall be excused from work on the first tour of duty that begins on the holiday.
D.C. Mun. Regs. tit. 6, r. 6-C1222