Added user preferences

You can now set your preferred editor theme and keymap from your account preferences. This ensures course activities and sandboxes are always loaded with a consistent style that fits your editor preferences.

These values default to the “dark” theme and the “default” keymap. You can learn more about those in our docs!