192 lines
4.0 KiB
JSON
192 lines
4.0 KiB
JSON
{
|
|
"base": "vs-dark",
|
|
"inherit": true,
|
|
"rules": [
|
|
{
|
|
"background": "161618",
|
|
"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": "#1C1C1F",
|
|
"editor.selectionBackground": "#ffffff30",
|
|
"editor.lineHighlightBackground": "#ffffff20",
|
|
"editorCursor.foreground": "#7070FF",
|
|
"editorWhitespace.foreground": "#BFBFBF"
|
|
}
|
|
}
|