Decreto estabelece mudança na jornada de trabalho nas repartições públicas de Costa Rica