Last Friday, President Barack Obama signed an Executive Order (
full text) giving employees of all Executive Branch departments and agencies a half day off on the afternoon of Christmas eve. Christmas Day is a legal public holiday under
5 USC Sec. 6103.