function diffLink($rev)
{
$linkurl = parent::diffLink($rev);
$linkurl->setAttr('target', '_content');
$linkurl->setAttr('rel', 'nofollow');
// FIXME: Smelly hack to get smaller diff buttons in sidebar
$linkurl = new RawXML(str_replace('<img ', '<img style="height:2ex" ', asXML($linkurl)));
return $linkurl;
}
