In accordance with District Personnel Manual § 1222.1(b), whenever a legal public holiday falls on a non-work day, the holiday shall be the Monday right after a legal public holiday occurring on Sunday, or the Friday immediately before a legal public holiday occurring on a Saturday.