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)