mozilla/browserid — pull request #3831 by chilts (2013-08-23 10:00:12+00:00)
Title: 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.