4 <body<?php echo $WikiTheme->getMoreAttr('body') ?>>
5 <div id="header"><?php // for top toolbars style sheet ?>
6 <?php echo Template('top') ?>
8 <div class="toolbar"><?php echo Template('navbar') ?></div>
11 <?php if (isset($HEADER)) { ?>
13 <h1><?php echo $HEADER ?></h1>
15 <?php echo $CONTENT ?>
16 <?php echo Template('bottom') ?>
18 <?php if (isset($revision)) { ?>
20 <?php echo Template('actionbar') ?>