$title ='Documentation'; include('elements/header.php'); ?>
$current_menu = 'docs.php'; include('elements/menu.php'); ?>
A wide range of technical and learning resources
(What, if anything does the portal need to do to support this? Offer in the back-office a place to edit links that go in this section? A more comprehensive documentation-management solution with articles, categories, etc.?)
include('elements/menu_footer.php'); ?>
include('elements/footer.php'); ?>