Jak obliczyć wymiar dnia wolnego dla pracownika zatrudnionego w niepełnym wymiarze godzin w związku ze świętem?

Główna księgowa jest zatrudniona na pół etatu i wykonuje pracę w następujące dni: poniedziałek – 8 godzin, środa – 5 godzin, czwartek i piątek – po 3,5 godziny. W związku ze świętem przypadającym 1 listopada, które w 2025 r. wypada w sobotę, przysługuje jej dodatkowy dzień wolny. Który dzień powinien zostać udzielony jako dzień wolny – odpowiadający 8 godzinom, 5 godzinom czy 3,5 godziny? Czy jest to uzależnione wyłącznie od indywidualnych ustaleń z pracodawcą?