From 37c1eaf1fc930c4bc9032730fbb9e0c3ebd4b9b1 Mon Sep 17 00:00:00 2001
From: Lance Parsons <lparsons@princeton.edu>
Date: Thu, 18 Jun 2026 17:44:36 -0400
Subject: [PATCH] Offset in-page anchor jumps below the fixed navbar

Add scroll-padding-top to the html element so that linking to an
in-page anchor scrolls the target below the sticky navbar instead of
hiding it behind it.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
---
 assets/css/style.scss | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 assets/css/style.scss

diff --git a/assets/css/style.scss b/assets/css/style.scss
new file mode 100644
index 000000000..3547e78ef
--- /dev/null
+++ b/assets/css/style.scss
@@ -0,0 +1,9 @@
+---
+---
+
+@import "{{ site.theme }}";
+
+// Offset in-page anchor jumps so targets aren't hidden behind the fixed navbar
+html {
+    scroll-padding-top: 3.25rem;
+}