#!/usr/bin/php
<?php
	include "header.php";
?>

	<body>

<?php
	include "banner.php";
	include "menu.php";

	/* 2025-01-29 Disable advisory now that Books is explicitly a menu item. * /
	if (!isset($GLOBALS["ADVISORY"]) || $GLOBALS["ADVISORY"] !== false)
		include "advisory.php";
	/* */
?>