--- /dev/null
+<? $title ='Documentation'; include('elements/header.php'); ?>
+<? $current_menu = 'docs.php'; include('elements/menu.php'); ?>
+A wide range of technical and learning resources
+<BR><BR>(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'); ?>