themes/default/templates/top.tmpl

   1 <?php // -*-php-*-
   2 // rcs_id('$Id$');
   3
   4 global $HIDE_TOOLBARS;
   5 if (!$HIDE_TOOLBARS) {
   6 ?>
   7 <!-- The logo -->
   8 <div id="logo"><a class="wikilink"
   9     href="<?=WikiURL(HOME_PAGE)?>" target="_top"
  10     ><img src="<?=$WikiTheme->getImageURL('logo')?>" id="logo-img"
  11       border="0" alt="<?=fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>" align="right" /></a></div>
  12 <!-- The top navigation/search bar -->
  13 <div class="toolbar">
  14   <?= Template('navbar') ?>
  15   </div>
  16 <?php } ?>
  17
  18 <!-- Page title -->
  19 <h1><?= $HEADER ?></h1>