Dni wolne

Dzień dobry.
Czy jeśli według przepisów w grudniu przypada dla pracownika 10dni wolnych od pracy czy w to wliczają się również święta czy nie? Czy jest gdzieś jakiś konkretny przepis to wyjaśniający?