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 ); }