Não exatamente. Estou olhando o site e acredito que o tema deles é personalizado. Posso estar enganado, mas aqui estão alguns dos plugins que eles estão usando:
Eles também usam o descontinuado Advanced Search Banner.
Também vejo que eles estão em uma versão bastante antiga (3.5.0.beta3-dev), talvez porque queiram evitar a descontinuação, mas duvido disso, pois a descontinuação foi anunciada cerca de 6 meses após o lançamento dessa versão.