themes

Thirteen themes — ten accent palettes, plus full-surface github-light, github-dark, and ayu. A theme owns the whole surface: editor, gutter, active line, status bar, selection, prompt, dock, and syntax. Switch with theme <name> in the command bar — every theme live-previews as you cycle through completions.