{
  "base": "vs-dark",
  "inherit": true,
  "rules": [
    {
      "background": "200020",
      "token": ""
    },
    {
      "foreground": "404080",
      "background": "200020",
      "fontStyle": "italic",
      "token": "comment.block"
    },
    {
      "foreground": "999999",
      "token": "string"
    },
    {
      "foreground": "707090",
      "token": "constant.language"
    },
    {
      "foreground": "7090b0",
      "token": "constant.numeric"
    },
    {
      "fontStyle": "bold",
      "token": "constant.numeric.integer.int32"
    },
    {
      "fontStyle": "italic",
      "token": "constant.numeric.integer.int64"
    },
    {
      "fontStyle": "bold italic",
      "token": "constant.numeric.integer.nativeint"
    },
    {
      "fontStyle": "underline",
      "token": "constant.numeric.floating-point.ocaml"
    },
    {
      "foreground": "666666",
      "token": "constant.character"
    },
    {
      "foreground": "8080a0",
      "token": "constant.language.boolean"
    },
    {
      "foreground": "008080",
      "token": "variable.language"
    },
    {
      "foreground": "008080",
      "token": "variable.other"
    },
    {
      "foreground": "a080ff",
      "token": "keyword"
    },
    {
      "foreground": "a0a0ff",
      "token": "keyword.operator"
    },
    {
      "foreground": "d0d0ff",
      "token": "keyword.other.decorator"
    },
    {
      "fontStyle": "underline",
      "token": "keyword.operator.infix.floating-point.ocaml"
    },
    {
      "fontStyle": "underline",
      "token": "keyword.operator.prefix.floating-point.ocaml"
    },
    {
      "foreground": "c080c0",
      "token": "keyword.other.directive"
    },
    {
      "foreground": "c080c0",
      "fontStyle": "underline",
      "token": "keyword.other.directive.line-number"
    },
    {
      "foreground": "80a0ff",
      "token": "keyword.control"
    },
    {
      "foreground": "b0fff0",
      "token": "storage"
    },
    {
      "foreground": "60b0ff",
      "token": "entity.name.type.variant"
    },
    {
      "foreground": "60b0ff",
      "fontStyle": "italic",
      "token": "storage.type.variant.polymorphic"
    },
    {
      "foreground": "60b0ff",
      "fontStyle": "italic",
      "token": "entity.name.type.variant.polymorphic"
    },
    {
      "foreground": "b000b0",
      "token": "entity.name.type.module"
    },
    {
      "foreground": "b000b0",
      "fontStyle": "underline",
      "token": "entity.name.type.module-type.ocaml"
    },
    {
      "foreground": "a00050",
      "token": "support.other"
    },
    {
      "foreground": "70e080",
      "token": "entity.name.type.class"
    },
    {
      "foreground": "70e0a0",
      "token": "entity.name.type.class-type"
    },
    {
      "foreground": "50a0a0",
      "token": "entity.name.function"
    },
    {
      "foreground": "80b0b0",
      "token": "variable.parameter"
    },
    {
      "foreground": "3080a0",
      "token": "entity.name.type.token"
    },
    {
      "foreground": "3cb0d0",
      "token": "entity.name.type.token.reference"
    },
    {
      "foreground": "90e0e0",
      "token": "entity.name.function.non-terminal"
    },
    {
      "foreground": "c0f0f0",
      "token": "entity.name.function.non-terminal.reference"
    },
    {
      "foreground": "009090",
      "token": "entity.name.tag"
    },
    {
      "background": "200020",
      "token": "support.constant"
    },
    {
      "foreground": "400080",
      "background": "ffff00",
      "fontStyle": "bold",
      "token": "invalid.illegal"
    },
    {
      "foreground": "200020",
      "background": "cc66ff",
      "token": "invalid.deprecated"
    },
    {
      "background": "40008054",
      "token": "source.camlp4.embedded"
    },
    {
      "foreground": "805080",
      "token": "punctuation"
    }
  ],
  "colors": {
    "editor.foreground": "#D0D0FF",
    "editor.background": "#200020",
    "editor.selectionBackground": "#80000080",
    "editor.lineHighlightBackground": "#80000040",
    "editorCursor.foreground": "#7070FF",
    "editorWhitespace.foreground": "#BFBFBF"
  }
}