{
  "lightStyle": "minimal-light",
  "darkStyle": "minimal-dark",
  "lightScheme": "minimal-gruvbox-light",
  "darkScheme": "minimal-gruvbox-dark",
  "editorFont": "",
  "lineHeight": 1.5,
  "lineWidth": 40,
  "lineWidthWide": 50,
  "maxWidth": 88,
  "textNormal": 16,
  "textSmall": 13,
  "imgGrid": false,
  "imgWidth": "img-default-width",
  "tableWidth": "table-default-width",
  "iframeWidth": "iframe-default-width",
  "mapWidth": "map-default-width",
  "chartWidth": "chart-default-width",
  "colorfulHeadings": false,
  "colorfulFrame": false,
  "colorfulActiveStates": false,
  "trimNames": true,
  "labeledNav": false,
  "fullWidthMedia": true,
  "bordersToggle": true,
  "minimalStatus": true,
  "focusMode": false,
  "underlineInternal": true,
  "underlineExternal": true,
  "folding": true,
  "lineNumbers": true,
  "readableLineLength": true,
  "devBlockWidth": false,
  "theme": "moonstone",
  "useSystemTheme": true
}