Lighten border around <code>
Fix navbar margin adjustment