Tweak spacing in navigation.js