From da136e3e141238dfc2ea4bb29ee566958e54e98e Mon Sep 17 00:00:00 2001
From: Chris Morgan <me@chrismorgan.info>
Date: Sat, 8 Jan 2022 20:41:14 +1100
Subject: [PATCH] Tweak page header appearance

---
 static/gitweb.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/gitweb.css b/static/gitweb.css
index 5d14f20..99069a2 100644
--- a/static/gitweb.css
+++ b/static/gitweb.css
@@ -66,7 +66,8 @@ a.list img.avatar {
 }
 
 .page_header {
-	padding: 1rem;
+	/* Subtracting the border-top, because otherwise the underlines on/below links start to unbalance it. */
+	padding: 0.75rem 1rem 1rem;
 	font-size: 150%;
 	border-top: 0.25rem solid #f71;
 	background-color: #f716;
-- 
2.42.0