From c212db087caf9528c88a82092702ef986913549e Mon Sep 17 00:00:00 2001
From: Vinta Chen <vinta.chen@gmail.com>
Date: Mon, 26 Oct 2026 11:51:53 +0800
Subject: [PATCH] style: widen the gap below category page heroes

The jump links sat 17.6px above the hero's bottom edge, tighter than the 20px above the topbar, so the hero looked cut short. Bottom padding goes from 1.1rem to 1.75rem; the comment justifying the smaller bottom no longer applies.
---
 website/static/style.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/website/static/style.css b/website/static/style.css
index 5d12f3ed..19c30a7d 100644
--- a/website/static/style.css
+++ b/website/static/style.css
@@ -508,8 +508,7 @@ kbd {
   z-index: 1;
   width: min(100%, calc(var(--shell-max) + (var(--shell-pad) * 2)));
   margin: 0 auto;
-  /* The bottom is a little smaller because the jump links' text sits inside its line box */
-  padding: 1.25rem var(--shell-pad) 1.1rem;
+  padding: 1.25rem var(--shell-pad) 1.75rem;
   display: grid;
   gap: clamp(2rem, 5vw, 3rem);
 }