Made top navigation font smaller.
Merge pull request #54 from puneet/constraints-dev

Made top navigation font smaller.