I've been during the Christmas period several times, but never over Christmas itself. It's always struck me that Discovery Cove would be a good choice from the point of view of crowds because numbers are limited to 1000 guests per day.
Here's the information on Christmas dining at WDW.
I'm sure others will be along to share their experiences soon.