2022-06-14 23:33:35 +08:00
|
|
|
{
|
2022-09-06 13:55:17 +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-07-15 09:26:10 +08:00
|
|
|
"enabledCssSnippets": []
|
2022-06-14 23:33:35 +08:00
|
|
|
}
|
