No exactamente. Estoy mirando el sitio y creo que su tema es personalizado. Puede que me equivoque, pero aquí tienes algunos de los plugins que están utilizando:
También utilizan el plugin descontinuado Advanced Search Banner.
Además, veo que están usando una versión bastante antigua (3.5.0.beta3-dev), quizás porque quieren evitar la descontinuación, pero lo dudo, ya que la descontinuación se anunció unos 6 meses después de que se publicara esa versión.