The answer depends on what day of the week that holiday falls on.
For Millions of Jobless, Christmas Is a Season to Endure, Not Celebrate - The New York Times
Michael Gennaro - Government Executive
Do federal contractors get Christmas Eve off? - Quora
Typical Paid Holidays in the US
10 Myths About Christmas HowStuffWorks, 53% OFF
Mysteries of the IRS Gift Tax: Who Foots the Bill and At What Rate?
Feds will get a few more hours of annual leave this year, but there's a catch
How to do Christmas on a Budget
Federal Holidays and How They Are Paid
Holiday Lawsuits Feature Mariah Carey, Christmas Lights and Santa - Bloomberg