Fixes broken links in the GitHub pages menu

KIT-MRT · Nov 26, 2024 · 06f42db · 06f42db
1 parent 4b5c2ae
commit 06f42db
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -47,14 +47,14 @@ <h2 class="project-tagline">{{ page.description | default: site.description | de
             {% if page.url == "/" %}
               {% assign classes = "active" %}
             {% endif %}
-            <li class="{{ classes }}"><a href="/">🢄 Main</a></li>
+            <li class="{{ classes }}"><a href={{ "/" | relative_url }}>🢄 Main</a></li>
 
             <!-- Tutorial Home -->
             {% assign classes = "" %}
             {% if page.url == "/docs/Tutorial.html" %}
               {% assign classes = "active" %}
             {% endif %}
-            <li class="{{ classes }}"><a href="/docs/Tutorial.html">⌂ Tutorial Home</a></li>
+            <li class="{{ classes }}"><a href={{ "/docs/Tutorial.html" | relative_url }}>⌂ Tutorial Home</a></li>
 
             <!-- Tutorial Tasks -->
             {% for sitepage in site.pages %}
@@ -64,7 +64,7 @@ <h2 class="project-tagline">{{ page.description | default: site.description | de
                 {% if page.url == sitepage.url %}
                   {% assign classes = "active" %}
                 {% endif %}
-                <li class="{{ classes }}"><a href="{{ sitepage.url }}">{{ sitepage.menu_title }}</a></li>
+                <li class="{{ classes }}"><a href="{{ sitepage.url | relative_url }}">{{ sitepage.menu_title }}</a></li>
               {% endif %}
             {% endfor %}
           </ul>