Update header.html (#194)

Beluga-lang · Sep 12, 2024 · 87bb80c · 87bb80c
1 parent 7b76de0
commit 87bb80c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/assets/extra/header.html b/assets/extra/header.html
@@ -18,7 +18,7 @@
     <span class="button" id="toggle-proofs"></span>
 
     <span class="right">
-      <a href="../">Project Page</a>
+      <a href="./">Project Page</a>
       <a href="./indexpage.html"> Index </a>
       <a href="./toc.html"> Table of Contents </a>
     </span>