Banco de horas e jornada de trabalho em feriados: empregador
> Minha empresa adota banco de horas;
> Ninguém trabalha nem sábado nem domingo, compensando assim as 4 horas do sábado, durante a semana (anotado em carteira);
> É uma empresa de desenvolvimento de softwares.
Minha dúvida é:
1) Quando um feriado nacional ou municipal cai no sábado, a empresa é obrigada a pagar essas horas para os funcionários? Acrescentar as horas ao banco de horas?
2) E quando o feriado cai durante a semana, o que acontece com quem trabalha 9 horas (1 hora compensada do sábado)?