When updating the top navigation bar to use Ink, some changes were made

that unintentionally reduced the font size of the navigation entries

(making them feel a bit small) and increased the spacing around

navigation items (making the bar too tall).
This tweaks those sizes, increasing the font size while decreasing the

padding around the navigation items.

Verified the new styling, and compared to Review Board 6. It was more

in the ballpark of what we had before.