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