Settings

Theme is set from the toggle in the top bar and remembered per browser. Additional preferences (default indentation, keybindings) will appear here.