From 5a2ea91cad4dd34fb766498a032294eb3c7a09b2 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Thu, 24 Nov 2022 23:28:28 +0000
Subject: [PATCH] js: Subtle extra padding for menus

Each menu item has a -0.5px margin so that the borders of adjacent menu
items overlap, but we don't actually want the menu items to protrude
beyond the containing <ul>.  Adding 0.5px of padding to the <ul>
achieves that.
---
 html/jspage.pl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/html/jspage.pl b/html/jspage.pl
index f5b1952..c09426f 100755
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -93,7 +93,10 @@ EOF
     flex-wrap: wrap;
     justify-content: center;
     margin: 0;
-    padding: 0;
+    /* Compensate for the negative margins on menu items by adding a
+     * little bit of padding so that the borders of the items don't protrude
+     * beyond the menu. */
+    padding: 0.5px;
 }
 
 /* Individual menu items are <li> elements within such a <ul> */