Update default.html

jeroenterheerdt · Jul 30, 2024 · ceef1c0 · ceef1c0
1 parent 07b8a50
commit ceef1c0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -32,6 +32,9 @@ <h2 id="project_tagline">{{ site.description | default: site.github.project_tagl
         </header>
     </div>
 
+    <!-- navigation -->
+    {% include navigation.html %}
+
     <!-- MAIN CONTENT -->
     <div id="main_content_wrap" class="outer">
       <section id="main_content" class="inner">