I know the resorts and parks decorate for Christmas right after Thanksgiving, but do the restaurants ( sit down or counter)offer any different choices for the season?
I don't know of any restaurants that change their menu during the holidays. When we were there in December 2002, all the restaurants where we ate had their regular menu. I don't recall reading any other posts about special holiday menus. If you're making plans for December, I think you'd be safe to plan around what the restaurants usually serve.