$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'); ?>