(style) Increasing margins around top navigation

The elements in the top nav were pretty crowded, with the "pp"
in "Puppet" overlapping with the Quick Nav. I just increased
the margins a little bit to give them some breathing room.