TALLAHASSEE - Gov. Ron DeSantis will take a little more time to mull a replacement for U.S. Sen. Marco Rubio, who has been tapped to serve as President-elect Donald Trump's secretary of state.

"Full-time employees are entitled to one personal holiday each year," the site also notes. Last year, DeSantis announced that state offices would be closed Nov. 22, Dec. 26, December 29 and Jan. 2 ...