まあ、そうでもありません。サイトを確認したところ、テーマはカスタム製だと考えています。間違っているかもしれませんが、彼らが使用しているプラグインの一部は以下の通りです：
また、非推奨となった Advanced Search Banner も使用しています。
さらに、かなり古いバージョン（3.5.0.beta3-dev）を使用していることも確認できました。非推奨化を回避したいからかもしれないですが、そのバージョンのリリースから約6ヶ月後に非推奨化がアナウンスされたため、そうである可能性は低いと思います。