11 lines
202 B
JSON
11 lines
202 B
JSON
{
|
|
"textFontFamily": "",
|
|
"monospaceFontFamily": "",
|
|
"interfaceFontFamily": "",
|
|
"cssTheme": "Typewriter",
|
|
"theme": "moonstone",
|
|
"baseFontSize": 15,
|
|
"enabledCssSnippets": [
|
|
"tables"
|
|
]
|
|
} |