|
- {
- "base": "vs-dark",
- "inherit": true,
- "rules": [
- {
- "foreground": "aeaeae",
- "token": "comment"
- },
- {
- "foreground": "d8fa3c",
- "token": "constant"
- },
- {
- "foreground": "ff6400",
- "token": "entity"
- },
- {
- "foreground": "fbde2d",
- "token": "keyword"
- },
- {
- "foreground": "fbde2d",
- "token": "storage"
- },
- {
- "foreground": "61ce3c",
- "token": "string"
- },
- {
- "foreground": "61ce3c",
- "token": "meta.verbatim"
- },
- {
- "foreground": "8da6ce",
- "token": "support"
- },
- {
- "foreground": "ab2a1d",
- "fontStyle": "italic",
- "token": "invalid.deprecated"
- },
- {
- "foreground": "f8f8f8",
- "background": "9d1e15",
- "token": "invalid.illegal"
- },
- {
- "foreground": "ff6400",
- "fontStyle": "italic",
- "token": "entity.other.inherited-class"
- },
- {
- "foreground": "ff6400",
- "token": "string constant.other.placeholder"
- },
- {
- "foreground": "becde6",
- "token": "meta.function-call.py"
- },
- {
- "foreground": "7f90aa",
- "token": "meta.tag"
- },
- {
- "foreground": "7f90aa",
- "token": "meta.tag entity"
- },
- {
- "foreground": "ffffff",
- "token": "entity.name.section"
- },
- {
- "foreground": "d5e0f3",
- "token": "keyword.type.variant"
- },
- {
- "foreground": "f8f8f8",
- "token": "source.ocaml keyword.operator.symbol"
- },
- {
- "foreground": "8da6ce",
- "token": "source.ocaml keyword.operator.symbol.infix"
- },
- {
- "foreground": "8da6ce",
- "token": "source.ocaml keyword.operator.symbol.prefix"
- },
- {
- "fontStyle": "underline",
- "token": "source.ocaml keyword.operator.symbol.infix.floating-point"
- },
- {
- "fontStyle": "underline",
- "token": "source.ocaml keyword.operator.symbol.prefix.floating-point"
- },
- {
- "fontStyle": "underline",
- "token": "source.ocaml constant.numeric.floating-point"
- },
- {
- "background": "ffffff",
- "token": "text.tex.latex meta.function.environment"
- },
- {
- "background": "7a96fa",
- "token": "text.tex.latex meta.function.environment meta.function.environment"
- },
- {
- "foreground": "fbde2d",
- "token": "text.tex.latex support.function"
- },
- {
- "foreground": "ffffff",
- "token": "source.plist string.unquoted"
- },
- {
- "foreground": "ffffff",
- "token": "source.plist keyword.operator"
- }
- ],
- "colors": {
- "editor.foreground": "#F8F8F8",
- "editor.background": "#0C1021",
- "editor.selectionBackground": "#253B76",
- "editor.lineHighlightBackground": "#FFFFFF",
- "editorCursor.foreground": "#FFFFFF",
- "editorWhitespace.foreground": "#FFFFFF"
- }
- }
|