Если сотрудник работает на полставки, т. е 20ч в неделю, как праздники влияют на его график?

Если сотрудник работает 2,5 ( 1+ 1 +0,5 ) = полных дня = ( 8+8+4 ) часов в неделю, и праздник выпадает на один из этих дней что происходит?. есть мнение, что обычный сотрудник (полная ставка, 40ч, = 8 часов*5 дней), отдохнув на праздник ( из 5 дней, остается 4). работает на 8 часов в неделю меньше, т. е на на 20%.
раз отдых для человека на полную ставку составляет 20% , то и для сотрудника на полставки он должен составлять 20%. т. е если из 2,5 (1 +1 +0,5) рабочих дней, выходной выпавший на 1 полный день, не компенсирует его полностью, и сотрудник должен отработать еще 0,5 дня.
вопрос таков, как быть сотруднику, работающему на пол ставки? отработать еще 4 часа, или ссылаться на какую-то статью трудового кодекса.