<?php if(isset($content)) : ?>
<div id='toc' class='box'>
<h4><?=t('Table of content')?></h4>
<?=$content['toc_formatted']?>
</div>
<?php endif; ?>