a day of which either the morning or (usually) the afternoon is taken as a holiday, especially at school