{
  "window.zoomLevel": 0,
  "editor.fontFamily": "'OperatorMonoLigNerdFontA-Book', 'Avenir Next', 'Comic Sans', Menlo, Monaco, 'Courier New', monospace",
  "workbench.colorTheme": "Oceanic Next (dimmed bg)",
  "colorize.ignore_search_variables_info": true,


  "workbench.colorCustomizations": {
    "statusBar.background": "#00bb83",
    "statusBar.foreground": "#fff",
    // "panel.background": "#555555",
    // "sideBar.background": "#444444",

    "[One Dark Pro]": {
      // "statusBar.background": "#a33",
      // "panel.background": "#a22",
      // "sideBar.background": "#a66"
      "editor.background": "#23262d"
    }
  },
  "editor.minimap.enabled": false,
  "workbench.iconTheme": "material-icon-theme",
  "editor.rulers": [
    78,
    80
  ],
  "terminal.external.linuxExec": "iterm",
  "terminal.external.osxExec": "iTerm.app",
  "terminal.integrated.fontSize": 13,
  "editor.renderWhitespace": "boundary",
  "editor.fontLigatures": true,
  "editor.tabSize": 2,
  "latex-workshop.view.pdf.viewer": "tab",

  "dafny.basePath": "/Users/dh/.vscode/extensions/correctnesslab.dafny-vscode-0.15.0/dafny/dafny",
  "editor.suggestSelection": "first",
  "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
  "liveshare.featureSet": "insiders"

}