Eher nicht. Ich schaue mir die Seite an und glaube, dass ihr Theme ein Custom-Theme ist. Ich könnte mich irren, aber hier sind einige der Plugins, die sie verwenden:
Sie verwenden auch das veraltete Advanced Search Banner.
Außerdem sehe ich, dass sie eine ziemlich alte Version (3.5.0.beta3-dev) verwenden, vielleicht weil sie die Veraltung vermeiden wollen, aber ich bezweifle es, denn die Veraltung wurde etwa 6 Monate nach dem Release dieser Version angekündigt.
