17px padding for the nav-menu looks better; it leaves a gap before the user-links section. This avoids the crowded look 19px gives.