force page to start at top on load

x-zheng16 · claude · x-zheng16 · commit 9595da3b3657 · 2026-04-01T23:31:58.000+08:00
Set history.scrollRestoration = 'manual' in &lt;head&gt; to prevent
browser from restoring previous scroll position on reload/reopen.

Co-Authored-By: Claude Opus 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/index.html b/index.html
@@ -17,6 +17,7 @@
   <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/katex.min.css">
   <script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/katex.min.js"></script>
 
+  <script>if ('scrollRestoration' in history) history.scrollRestoration = 'manual';</script>
   <script src="https://cdn.tailwindcss.com"></script>
   <script>
     tailwind.config = {
