diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-24 23:28:28 +0000 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2022-11-24 23:28:28 +0000 |
| commit | 5a2ea91cad4dd34fb766498a032294eb3c7a09b2 (patch) | |
| tree | 468b40a58107e8f36d2f53bedad811a162087eaf /html | |
| parent | 38e17ebab2488aaac4fcb0d5fb06ed03d5eb7e41 (diff) | |
| download | puzzles-5a2ea91cad4dd34fb766498a032294eb3c7a09b2.zip puzzles-5a2ea91cad4dd34fb766498a032294eb3c7a09b2.tar.gz puzzles-5a2ea91cad4dd34fb766498a032294eb3c7a09b2.tar.bz2 puzzles-5a2ea91cad4dd34fb766498a032294eb3c7a09b2.tar.xz | |
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.
Diffstat (limited to 'html')
| -rwxr-xr-x | html/jspage.pl | 5 |
1 files changed, 4 insertions, 1 deletions
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> */ |