оплата праздничных дней

Добрый день, скажите пожалуйста, обязан ли работодатель оплачивать праздничные дни в двойном размере, если график работы 2/2 и рабочие дни по графику попадают на 1 мая и 9 мая??? Если да, то на какие нормативные документы можно сослаться(предъявить ему, так как он отказывается оплачивать эти дни)? Если нет, то где это указывается??
Заранее спасибо!