A day exempted from one’s regular work schedule, not necessarily officially recognized