{
    "editor.fontSize": 10
}