--- templates/top.inc.php.orig 2006-04-01 16:53:03.000000000 +0200 +++ templates/top.inc.php 2006-04-01 19:18:02.000000000 +0200 @@ -4,7 +4,11 @@ <?php echo filter($GLOBALS['sitename'] . (isset($pagetitle) ? ': ' . $pagetitle : '')); ?> - + + + + +