2022-06-14 23:33:35 +08:00
|
|
|
{
|
2022-09-03 15:41:36 +08:00
|
|
|
"theme": "moonstone",
|
2022-06-14 23:33:35 +08:00
|
|
|
"translucency": true,
|
|
|
|
|
"cssTheme": "Atom",
|
|
|
|
|
"interfaceFontFamily": "IBM Plex Sans",
|
|
|
|
|
"textFontFamily": "IBM Plex Mono,monospace",
|
|
|
|
|
"monospaceFontFamily": "IBM Plex Mono",
|
2022-06-16 13:54:44 +08:00
|
|
|
"baseFontSize": 19,
|
2022-07-15 09:26:10 +08:00
|
|
|
"enabledCssSnippets": []
|
2022-06-14 23:33:35 +08:00
|
|
|
}
|
