<?php
-if (!$User) {
+if (!$User->login) {
http_response_code(303);
$target = urlencode($_SERVER['REQUEST_URI']);
header("Location: /login?goto=$target");
$Place['pass'] = '<em>onbekend</em>';
}
-print '<p class="nav right"><a href="javascript:window.print()">Print</a></p>'."\n";
+print '<aside class="nav"><a href="javascript:window.print()">Print</a></aside>'."\n";