{
  "editor.fontSize": 16
}