{
  "editor.fontSize": 18
}