Non proprio. Sto guardando il sito e credo che il loro tema sia personalizzato. Potrei sbagliarmi, ma ecco alcuni dei plugin che stanno utilizzando:
Usano anche il deprecato Advanced Search Banner.
Vedo anche che stanno usando una versione piuttosto vecchia (3.5.0.beta3-dev), forse perché vogliono evitare la deprecazione, ma ne dubito, perché la deprecazione è stata annunciata circa 6 mesi dopo il rilascio di quella versione.