{ "editor.fontSize": 18, "editor.fontFamily": "'Inter'" }