{ "editor.fontFamily": "monospace" }