{
  "ui_theme": "ebony",
  "ui_theme_syntax": "sub",
  "font_name": "Consolas",
  "font_size": 11
}