Set the header nav radius to be a consistent 7px

Fixes #3813.

This assumes that we want the header nav buttons to have a border-radius of 7px rather than 3px.