<?php

$this->appendLink ("Overview", "index.php");
$this->appendLink ("Documentation", "documentation");
$this->appendLink ("Accessibility", "accessibility");
$this->appendLink ("Translation", "translation");
$this->appendLink ("Development", "development");
$this->appendLink ("Art", "art");
$this->appendLink ("KDE Quality", "http://quality.kde.org", false);

?>