It's a public holiday, but is it part of your normal holiday allowance?

A public holiday is usually not included in the regular annual leave (holiday allowance). It is an additional day off provided by the government or employer, and it is not deducted from your standard number of vacation days. However, rules may vary between companies and countries, so it is important to check your employment contract or with HR.