{
	"base": "vs-dark",
	"inherit": true,
	"rules": [
		{
			"foreground": "709070",
			"fontStyle": "italic",
			"token": "comment"
		},
		{
			"fontStyle": "bold",
			"token": "keyword.other.directive"
		},
		{
			"fontStyle": "underline",
			"token": "keyword.other.directive.line-number"
		},
		{
			"foreground": "ff8080",
			"token": "constant.character"
		},
		{
			"foreground": "ff2020",
			"token": "string"
		},
		{
			"foreground": "22c0ff",
			"token": "constant.numeric"
		},
		{
			"fontStyle": "underline",
			"token": "constant.numeric.floating-point"
		},
		{
			"foreground": "ffffa0",
			"token": "keyword"
		},
		{
			"foreground": "ff8000",
			"fontStyle": "bold",
			"token": "entity.name.module"
		},
		{
			"foreground": "ff8000",
			"fontStyle": "bold",
			"token": "support.other.module"
		},
		{
			"foreground": "ffffa0",
			"token": "keyword.operator"
		},
		{
			"fontStyle": "underline",
			"token": "source.ocaml keyword.operator.symbol.infix.floating-point"
		},
		{
			"fontStyle": "underline",
			"token": "source.ocaml keyword.operator.symbol.prefix.floating-point"
		},
		{
			"foreground": "6080ff",
			"token": "storage.type"
		},
		{
			"foreground": "4080a0",
			"token": "entity.name.class.variant"
		},
		{
			"foreground": "f09040",
			"token": "entity.name.type"
		},
		{
			"foreground": "ffcc66",
			"fontStyle": "bold",
			"token": "entity.name.function"
		},
		{
			"foreground": "ffe000",
			"token": "storage.type.user-defined"
		},
		{
			"foreground": "f4a020",
			"token": "entity.name.type.class.type"
		}
	],
	"colors": {
		"editor.foreground": "#DEDEDE",
		"editor.background": "#404040",
		"editor.selectionBackground": "#A0A0C0",
		"editor.lineHighlightBackground": "#A0804026",
		"editorCursor.foreground": "#FFFF66",
		"editorWhitespace.foreground": "#A8A8A8"
	}
}