page: wrap menu in header container

diff --git a/head.inc.php b/head.inc.php
index 2e57f81f7a78ca0c353c6f9102014e717bb49a7f..5e19024665e5806c53638657671142020309d1d2 100644 (file)
--- a/head.inc.php
+++ b/head.inc.php
@@ -1,7 +1,9 @@
 <?php
 include_once 'head.inc.html';
 
+print "<header>\n";
 include 'menu.html';
+print "</header>\n\n";
 
 print '<div class="article">'."\n\n";