# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1512344803 -3600
# Node ID 90a303a1411278b0b53006d4c19bf322055938a1
# Parent  339f4011ed9b15fee03863dea7dc3f4f6092101f
base: use <main> for main area, for better semantic.

diff -r 339f4011ed9b -r 90a303a14112 default/base/base.html
--- a/default/base/base.html	Fri Dec 01 00:46:45 2017 +0100
+++ b/default/base/base.html	Mon Dec 04 00:46:43 2017 +0100
@@ -42,7 +42,7 @@
         {% endblock main_menu %}
     {% endif %}
 
-    <div id='main_area'>
+    <main id='main_area'>
         <header>
             {% if confirm %}
             {# confirmation message used when post data has been handled correctly #}
@@ -67,6 +67,6 @@
         {% endblock body %}
         </div>
         <footer>{% block footer %}{% trans app_name=C.APP_NAME %}Powered by {{app_name}}{% endtrans %}{% endblock %}</footer>
-    </div>
+    </main>
 </body>
 </html>