{
  "translucency": true,
  "baseFontSize": 17,
  "cssTheme": "Willemstad"
}