{
  "name": "Monokai Pro (Filter Ristretto)",
  "extension": "monokai.theme-monokai-pro-vscode"
}