themes/wikilens/templates/top.tmpl

   1 <?php
   2 global $HIDE_TOOLBARS;
   3 if (!$HIDE_TOOLBARS) { ?>
   4 <!-- The logo -->
   5 <div id="logo" style="height: 51px;
   6      background-image: url(<?php echo $WikiTheme->getImageURL('splice')?>); background-repeat: repeat-x;"
   7 ><a class="wikilink"
   8     href="<?php echo WikiURL(HOME_PAGE)?>"
   9     ><img src="<?php echo $WikiTheme->getImageURL('logo')?>" id="logo-img"
  10       border="0" alt="<?php echo fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>" align="right" /></a>
  11 </div>
  12 <?php } ?>