<?php
global $HIDE_TOOLBARS;
if (!$HIDE_TOOLBARS) { ?>
<!-- The logo -->
<div id="logo" style="height: 51px; 
     background-image: url(<?php echo $WikiTheme->getImageURL('splice')?>); background-repeat: repeat-x;"
><a class="wikilink" 
    href="<?php echo WikiURL(HOME_PAGE)?>"
    ><img src="<?php echo $WikiTheme->getImageURL('logo')?>" id="logo-img"
          alt="<?php echo fmt(_("%s: %s"), WIKI_NAME, HOME_PAGE) ?>" class="align-right" /></a>
</div>
<?php } ?>
