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