2022-11-29 14:47:59 +08:00
|
|
|
{
|
|
|
|
"lightStyle": "minimal-light-white",
|
|
|
|
"darkStyle": "minimal-dark",
|
|
|
|
"lightScheme": "minimal-default-light",
|
|
|
|
"darkScheme": "minimal-default-dark",
|
|
|
|
"editorFont": "",
|
|
|
|
"lineHeight": 1.6,
|
2024-07-09 17:37:30 +08:00
|
|
|
"lineWidth": 60,
|
2022-11-29 14:47:59 +08:00
|
|
|
"lineWidthWide": 50,
|
|
|
|
"maxWidth": 88,
|
|
|
|
"textNormal": 18,
|
|
|
|
"textSmall": 14,
|
|
|
|
"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,
|
2024-04-26 22:20:52 +08:00
|
|
|
"devBlockWidth": false,
|
|
|
|
"theme": "moonstone",
|
|
|
|
"useSystemTheme": false
|
2022-11-29 14:47:59 +08:00
|
|
|
}
|