Formatted code. Refactored out common signed in navigation html.