. . "Holiday is a work day that is recognized as an official day for which Professional Staff Members receive time off with pay." . .