From 2c4564fadd8f93f294d6cfc8aa5dc1b44be5ade5 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 12 Sep 2017 02:16:37 +0200
Subject: [PATCH] page: wrap menu in header container

---
 head.inc.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/head.inc.php b/head.inc.php
index 2e57f81..5e19024 100644
--- 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";
 
-- 
2.30.0