(n.) A day given to play or diversion; a holiday.