The first Holiday party of the season

There was food, and cookies, and punch, and a lot of good folks dressed up a little fancy.