2023-10-21 23:52:54 +00:00
|
|
|
{
|
|
|
|
"theme": "moonstone",
|
|
|
|
"lightStyle": "minimal-light",
|
|
|
|
"darkStyle": "minimal-dark",
|
|
|
|
"lightScheme": "minimal-default-light",
|
|
|
|
"darkScheme": "minimal-ayu-dark",
|
|
|
|
"editorFont": "",
|
|
|
|
"lineHeight": 1.5,
|
|
|
|
"lineWidth": 40,
|
|
|
|
"lineWidthWide": 50,
|
|
|
|
"maxWidth": 88,
|
2023-11-09 04:55:17 +00:00
|
|
|
"textNormal": 14,
|
2023-10-21 23:52:54 +00:00
|
|
|
"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": true,
|
|
|
|
"colorfulFrame": true,
|
|
|
|
"colorfulActiveStates": true,
|
|
|
|
"trimNames": true,
|
|
|
|
"labeledNav": false,
|
|
|
|
"fullWidthMedia": true,
|
|
|
|
"bordersToggle": true,
|
|
|
|
"minimalStatus": true,
|
|
|
|
"focusMode": false,
|
|
|
|
"underlineInternal": true,
|
|
|
|
"underlineExternal": true,
|
|
|
|
"useSystemTheme": false,
|
|
|
|
"folding": true,
|
|
|
|
"lineNumbers": false,
|
|
|
|
"readableLineLength": true,
|
|
|
|
"devBlockWidth": false
|
|
|
|
}
|