Dictionary

national holiday (by law, any weekday that falls between two other national holidays)

citizen's holiday; by law, any weekday that falls between two other national holidays (e.g. between 1985 and 2006 May 4, now Greenery Day)