{
  "base": "vs",
  "inherit": true,
  "rules": [
    {
      "foreground": "406040",
      "token": "comment"
    },
    {
      "foreground": "c03030",
      "token": "string"
    },
    {
      "foreground": "0080a0",
      "token": "constant.numeric"
    },
    {
      "fontStyle": "underline",
      "token": "source.ocaml constant.numeric.floating-point"
    },
    {
      "foreground": "800000",
      "token": "constant.character"
    },
    {
      "foreground": "2060a0",
      "token": "keyword"
    },
    {
      "foreground": "2060a0",
      "token": "keyword.operator"
    },
    {
      "fontStyle": "underline",
      "token": "source.ocaml keyword.operator.symbol.prefix.floating-point"
    },
    {
      "fontStyle": "underline",
      "token": "source.ocaml keyword.operator.symbol.infix.floating-point"
    },
    {
      "foreground": "0080ff",
      "token": "entity.name.module"
    },
    {
      "foreground": "0080ff",
      "token": "support.other.module"
    },
    {
      "foreground": "a08000",
      "token": "storage.type"
    },
    {
      "foreground": "008080",
      "token": "storage"
    },
    {
      "foreground": "c08060",
      "token": "entity.name.class.variant"
    },
    {
      "fontStyle": "bold",
      "token": "keyword.other.directive"
    },
    {
      "foreground": "800000",
      "token": "entity.name.function"
    },
    {
      "foreground": "800080",
      "token": "storage.type.user-defined"
    },
    {
      "foreground": "8000c0",
      "token": "entity.name.type.class.type"
    }
  ],
  "colors": {
    "editor.foreground": "#000000",
    "editor.background": "#F1F1F1",
    "editor.selectionBackground": "#B0B0FF",
    "editor.lineHighlightBackground": "#000000",
    "editorCursor.foreground": "#000000",
    "editorWhitespace.foreground": "#BFBFBF"
  }
}