{
    "editor.fontSize": 12
}