paid public holiday
means all public holidays declared as such in terms of the Public Holidays Act, 1994.