From 5088dc4457e1c02e52b9b9182182b80e2eb09955 Mon Sep 17 00:00:00 2001
From: Jason Hu <fdhzs2010@hotmail.com>
Date: Thu, 12 Sep 2024 16:07:03 -0400
Subject: [PATCH] Update header.html

---
 assets/extra/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assets/extra/header.html b/assets/extra/header.html
index 98ff925f..3249b6cf 100644
--- 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>