2023-07-05 18:29:11 +00:00
|
|
|
{
|
|
|
|
|
"accentColor": "#d161ef",
|
|
|
|
|
"translucency": true,
|
|
|
|
|
"showViewHeader": true,
|
|
|
|
|
"nativeMenus": true,
|
|
|
|
|
"cssTheme": "Prism",
|
|
|
|
|
"theme": "obsidian",
|
2023-08-09 22:45:02 +00:00
|
|
|
"baseFontSize": 17,
|
2023-07-05 18:29:11 +00:00
|
|
|
"textFontFamily": "Times New Roman",
|
|
|
|
|
"interfaceFontFamily": "Times New Roman"
|
|
|
|
|
}
|
