Source Code for /public/toc/index.php

<?php
// Include the functions.php file, which provides functions we use all over the place:
require('../inc/functions.php');

// Render our HTML header, including this lesson's title
add_header('Full table of contents', true);

// Render the full navbar, including all subsections:
add_navbar(true);

draw_potion( 'red' );

// Render our HTML footer
add_footer();
?>