Art. 45. Ningun empleado civil esta obligado a trabajar de noche o en dias festivos o feriados, salvo en aquellos servicios de funciones permanentes o ininterrumpudas, en los cuales cada hora de trabajo nocturno ordinario se computará como dos horas de trabajo diurno.