2024-09-30 21:01:56 +00:00
|
|
|
{
|
|
|
|
|
"lightStyle": "minimal-light",
|
|
|
|
|
"darkStyle": "minimal-dark",
|
|
|
|
|
"lightScheme": "minimal-default-light",
|
|
|
|
|
"darkScheme": "minimal-things-dark",
|
|
|
|
|
"editorFont": "",
|
|
|
|
|
"lineHeight": 1.5,
|
|
|
|
|
"lineWidth": 40,
|
|
|
|
|
"lineWidthWide": 50,
|
|
|
|
|
"maxWidth": 88,
|
|
|
|
|
"textNormal": 16,
|
|
|
|
|
"textSmall": 13,
|
2024-10-06 14:03:22 +00:00
|
|
|
"imgGrid": true,
|
2024-09-30 21:01:56 +00:00
|
|
|
"imgWidth": "img-default-width",
|
|
|
|
|
"tableWidth": "table-default-width",
|
|
|
|
|
"iframeWidth": "iframe-default-width",
|
|
|
|
|
"mapWidth": "map-default-width",
|
|
|
|
|
"chartWidth": "chart-default-width",
|
|
|
|
|
"colorfulHeadings": true,
|
|
|
|
|
"colorfulFrame": false,
|
|
|
|
|
"colorfulActiveStates": true,
|
|
|
|
|
"trimNames": false,
|
|
|
|
|
"labeledNav": true,
|
|
|
|
|
"fullWidthMedia": false,
|
|
|
|
|
"bordersToggle": true,
|
|
|
|
|
"minimalStatus": true,
|
|
|
|
|
"focusMode": false,
|
|
|
|
|
"underlineInternal": true,
|
|
|
|
|
"underlineExternal": true,
|
|
|
|
|
"folding": true,
|
|
|
|
|
"lineNumbers": false,
|
2024-10-01 19:56:17 +00:00
|
|
|
"readableLineLength": false,
|
2024-09-30 21:01:56 +00:00
|
|
|
"devBlockWidth": false
|
|
|
|
|
}
|
