{
  "translucency": false,
  "baseFontSize": 17,
  "cssTheme": "",
  "theme": "moonstone"
}