Add setting for padding of main navbar

[Jeremy Hopkins]

If you want a larger font in the main navigation you need to reduce padding between the navigation items.

Although this is not a font settng it would make sense to add it to the fonts page below the font setting as the two need to be adjusted together.

[Jeremy Hopkins]

Fix #363 adding settin for padding of main navigation

→ <<cset 9bcb56805243>>