themes/wikilens/templates/top.tmpl

   1 <?php // -*-php-*-
   2 rcs_id('$Id$');
   3 global $HIDE_TOOLBARS;
   4 if (!$HIDE_TOOLBARS) { ?>
   5 <!-- The logo -->
   6 <div id="logo" style="height: 51px;
   7      background-image: url(<?=$WikiTheme->getImageURL('splice')?>); background-repeat: repeat-x;"
   8 ><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>
  12 </div>
  13 <?php } ?>