{
  "translucency": false,
  "baseFontSize": 18,
  "cssTheme": "Willemstad",
  "theme": "moonstone"
}