// Place your settings in this file to overwrite default and user settings.
{
    "editor.fontFamily": "'FiraCode', Menlo, Monaco, 'Courier New', monospace",
    "editor.fontSize": 13
}