Clarified installation steps, borrowing from the Galaxy API readme (settings_local.js is expected to exist before running)
Github’d the readme code
Implemented basic user settings page (issue #7). Added a settings link to the header, adjacent to the user profile (borrowed a gear icon from zamboni for that)
Open Gravatar page for editing avatar in a separate tab / window
Highlight settings gear on hover
Localized “email:” field in user settings, and fixed style issues (sort CSS alphabetically, move CSS variables to top level)
Fixed CSS order and a typo with localizing ‘email’ in settings page
Localize “not signed in” message on settings page
Fixed settings cog in header not being positioned correctly when the username is shorter than the logout button’s text
Removed unnecessary uses of `href=“#”` in header