// Place your settings in this file to overwrite default and user settings.
{
    "editor.fontSize": 18
}