paid public holiday

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