With the holiday season underway, some employers may be considering whether they have to provide employees with paid time off for certain holidays, or extra pay when they work on a holiday. Here we…