Changes to fonts, theme, options and keymap