Роструд о майских праздниках: перед 1-м и 9-м рабочий день должен быть коротким.