From d5b71baad5114e8751052fbaea8572cd48e6219f Mon Sep 17 00:00:00 2001
From: AndreAmaduzzi <amaduzziandrea@gmail.com>
Date: Thu, 9 Nov 2023 16:45:04 +0100
Subject: [PATCH] add code item in navigation bar

---
 _includes/navbar.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/_includes/navbar.html b/_includes/navbar.html
index 31bddf7..94c4902 100644
--- a/_includes/navbar.html
+++ b/_includes/navbar.html
@@ -7,6 +7,10 @@
                 href="{% if page.layout == 'default' %}{{site.url}}{{site.baseurl}}/#{% else %}{{site.url}}{{site.baseurl}}/{% endif %}">
                 <strong>Paper</strong>
             </a>
+            <a class="navbar-item"
+                href="{% if page.layout == 'default' %}{{site.url}}{{site.baseurl}}/#{% else %}{{site.url}}{{site.baseurl}}/{% endif %}">
+            <strong>Code</strong>
+            </a>
             <div class="navbar-burger" data-target="navbar-menu">
                 <span></span>
                 <span></span>