<?php

$html = mb_convert_encoding($body, 'HTML-ENTITIES', 'auto');

# Begin: page-specific settings.  Change these.
$Theme->setThemeVariables($themeVariables);
$Theme->setPageAuthor("");
$Theme->setPageKeywords($keywords);
$Theme->setPageTitle($title);
$Theme->setHtml($html);

if (isset($Nav)) {
	$Theme->setNav($Nav);
}
if (isset($Menu)) {
	$Theme->setMenu($Menu);
}

$Theme->generatePage();