General Discussion/@comment-9686399-20130625172145/@comment-8728304-20130627070615

It is the default theme, actually.