Switching themes. Themes include not only Ace theme, but also the whole editor UI. The new themes, "dark" and "light" are very preliminary and need a lot of work.