I believe their Linux desktops are Debian-based but my understanding is their servers run a highly customized version of Linux that really isn't based on and doesn't look like a conventional distro.
They used to use their own Ubuntu variant for desktops, but switched to their own Debian variant.