feriado nacional trabalhado

Como é pago feriado nacional trabalhado. A empresa na qual trabalho funciona diariamente sem interrupção. Trabalhamos com escala de revezamento e nos dias de feriado nacional sempre tem funcionários trabalhando. Como é feito o pagamento desse dia trabalhado? A empresa tem pago como dia normal, ou seja, no caso dos funcionários que recebem salário mínimo de R$ 350,00 ela paga R$ 11,67 pelo dia trabalhado, isso é correto ou deve ser acrescido algum valor por ser feriado nacional?

O pagamento deve ser em dobro caso não haja folga compensatória.