Not really. I’m looking at the site, and I believe their theme is custom. I may be mistaken, but here are some of the plugins they are using:
They also use the deprecated Advanced Search Banner.
I also see that they’re on a pretty old version (3.5.0.beta3-dev), perhaps because they want to avoid the deprecation, but I doubt it, because the deprecation was announced around 6 months after that version was released.