public function display_page(Page $page, $sitename, $base_href, $theme_name, $body)
{
$page->set_mode("data");
$hh = "";
$page->add_auto_html_headers();
foreach ($page->html_headers as $h) {
$hh .= $h;
}
$page->set_data(<<<EOD
<html>
\t<head>
\t\t<title>{$sitename}</title>
\t\t<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
\t\t<meta name="viewport" content="width=device-width, initial-scale=1">
\t\t{$hh}
\t</head>
\t<style>
\t\tdiv#front-page h1 {font-size: 4em; margin-top: 2em; margin-bottom: 0px; text-align: center; border: none; background: none; box-shadow: none; -webkit-box-shadow: none; -moz-box-shadow: none;}
\t\tdiv#front-page {text-align:center;}
\t\t.space {margin-bottom: 1em;}
\t\tdiv#front-page div#links a {margin: 0 0.5em;}
\t\tdiv#front-page li {list-style-type: none; margin: 0;}
\t\t@media (max-width: 800px) {
\t\t\tdiv#front-page h1 {font-size: 3em; margin-top: 0.5em; margin-bottom: 0.5em;}
\t\t\t#counter {display: none;}
\t\t}
\t</style>
\t<body>
\t\t{$body}
\t</body>
</html>
EOD
);
}
