From 491e58ecdd937b22d082e71fb624fe01372a6575 Mon Sep 17 00:00:00 2001
From: Ethan Dalool <git@voussoir.net>
Date: Tue, 14 Jan 2020 16:43:43 -0800
Subject: [PATCH] Replace <div id="header"> with <nav id="header>.

---
 frontends/etiquette_flask/templates/header.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/etiquette_flask/templates/header.html b/frontends/etiquette_flask/templates/header.html
index 3f2f9c1..4bad913 100644
--- a/frontends/etiquette_flask/templates/header.html
+++ b/frontends/etiquette_flask/templates/header.html
@@ -1,5 +1,5 @@
 {% macro make_header(session) %}
-<div id="header">
+<nav id="header">
     <a class="header_element" href="/">Etiquette</a>
     <a class="header_element" href="/search">Search</a>
     <a class="header_element" href="/tags">Tags</a>
@@ -9,5 +9,5 @@
     {% else %}
     <a class="header_element" href="/login">Log in</a>
     {% endif %}
-</div>
+</nav>
 {% endmacro %}