<?php // -*-php-*-
// rcs_id('$Id$');
?>
<?php
  $Sep = $WikiTheme->getButtonSeparator();
?>
<!-- The bottom navigation/search bar -->