Officially a white Christmas in Texas.