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.
This commit is contained in:
Ben Harris
2022-11-24 23:28:28 +00:00
parent 38e17ebab2
commit 5a2ea91cad

View File

@ -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> */