They have a nofollow meta in the head of the page, which according to http://www.seobook.com/robots-txt-vs-rel-nofollow-vs-meta-ro... is as good as rel="nofollow" when it comes to PageRank.