2022-06-14 23:33:35 +08:00
|
|
|
{
|
2022-09-08 15:33:54 +08:00
|
|
|
"theme": "moonstone",
|
2022-06-14 23:33:35 +08:00
|
|
|
"translucency": true,
|
2022-09-03 16:02:59 +08:00
|
|
|
"cssTheme": "Prism",
|
2022-06-14 23:33:35 +08:00
|
|
|
"interfaceFontFamily": "IBM Plex Sans",
|
|
|
|
|
"textFontFamily": "IBM Plex Mono,monospace",
|
|
|
|
|
"monospaceFontFamily": "IBM Plex Mono",
|
2022-06-16 13:54:44 +08:00
|
|
|
"baseFontSize": 19,
|
2022-10-22 18:59:09 +08:00
|
|
|
"enabledCssSnippets": [],
|
|
|
|
|
"accentColor": ""
|
2022-06-14 23:33:35 +08:00
|
|
|
}
|
