{
  "deftheme": {
    "name": "Default",
    "properties": []
  },
  "themes": [],
  "selected_theme": "Default"
}