. "Holiday Schedule Leave State employees enjoy the benefit of many types of leave, in accordance with state and federal law." . . .