{
	"editor.fontFamily": "mono"
}