From ef1224b3413f03dd34630c4acceee76a9f152e06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Thu, 1 Nov 2018 12:08:53 +0100
Subject: [PATCH] templates: add blocks for custom markup around navigation
 (#27714)

---
 templates/theme.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/templates/theme.html b/templates/theme.html
index 4d9ae5ca..04b3d4dc 100644
--- a/templates/theme.html
+++ b/templates/theme.html
@@ -77,7 +77,9 @@
 {% block nav %}
 <nav>
 <div id="nav-wrapper" class="gru-nav-wrapper">
+{% block nav-pre %}{% endblock %}
 <div id="nav" class="gru-nav togglable">
+{% block nav-top %}{% endblock %}
   <button id="nav-button" class="gru-nav-button togglable" aria-label="Menu">
     <span class="sr-only">Ouvrir le menu</span>
     <span class="icon-bar icon-bar-1"></span>
@@ -92,7 +94,9 @@
     <li class="link-aide"><a href="{{help_url}}">Aide</a></li>
   </ul>
 {% endblock %}
+{% block nav-bottom %}{% endblock %}
 </div> <!-- nav -->
+{% block nav-post %}{% endblock %}
 </div> <!-- nav-wrapper -->
 </nav>
 {% endblock %}
-- 
2.19.1