<?php // -*-html-*- ?>
<!-- $Id: navbar.tmpl,v 1.2 2004/06/14 11:26:51 rurban Exp $ -->
<?php
  $Sep = $WikiTheme->getButtonSeparator();
?>
<!-- The bottom navigation/search bar -->