Dovolená po mateřské dovolené a proplacení svátku

Plné znění otázky

Jsme střední škola, naší zaměstnankyni (učitelce) skončila mateřská dovolená a bezprostředně po ní začala čerpat řádnou dovolenou. Jak je to v tomto případě se státním svátkem 17. 11. 2023? Má se jí proplatit, nebo ne, a na základě jakého předpisu? Jak se v těchto případech postupuje?