From c1b5fc0f3acd2b99036991285b91708a08d8e2ba Mon Sep 17 00:00:00 2001
From: Guillaume Bertholon <guillaume.bertholon@ens.fr>
Date: Mon, 1 Feb 2021 12:31:07 +0100
Subject: [PATCH] Patch wrong </div> instead of </nav>

Most browsers did not see the difference but it is invalid HTML.
---
 website/templates/partials/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/templates/partials/header.html b/website/templates/partials/header.html
index 3e8e705..8064ce8 100644
--- a/website/templates/partials/header.html
+++ b/website/templates/partials/header.html
@@ -24,5 +24,5 @@
       {% endif %}
     </div>
     {% endwith %}
-  </div>
+  </nav>
 </header>