{ "author": "William D. Neumann", "name": "Zenburnesque", "settings": [ { "settings": { "background": "#404040", "caret": "#FFFF66", "foreground": "#DEDEDE", "invisibles": "#A8A8A8", "lineHighlight": "#A0804026", "selection": "#A0A0C0" } }, { "name": "Comment", "scope": "comment", "settings": { "fontStyle": "italic", "foreground": "#709070" } }, { "name": "Directive", "scope": "keyword.other.directive", "settings": { "fontStyle": "bold" } }, { "name": "Line-number directives", "scope": "keyword.other.directive.line-number", "settings": { "fontStyle": "underline" } }, { "name": "Characters", "scope": "constant.character", "settings": { "foreground": "#FF8080" } }, { "name": "String", "scope": "string", "settings": { "foreground": "#FF2020" } }, { "name": "Number", "scope": "constant.numeric", "settings": { "foreground": "#22C0FF" } }, { "name": "Floating-point numbers", "scope": "constant.numeric.floating-point", "settings": { "fontStyle": "underline" } }, { "name": "Built-in constant", "scope": "constant.language", "settings": { } }, { "name": "User-defined constant", "scope": "constant.character, constant.other", "settings": { } }, { "name": "Variable", "scope": "variable.parameter, variable.other", "settings": { } }, { "name": "Language Keyword", "scope": "keyword", "settings": { "foreground": "#FFFFA0" } }, { "name": "Module Keyword", "scope": "entity.name.module, support.other.module", "settings": { "fontStyle": "bold", "foreground": "#FF8000" } }, { "name": "Operators", "scope": "keyword.operator", "settings": { "foreground": "#FFFFA0" } }, { "name": "Floating-point infix operators", "scope": "source.ocaml keyword.operator.symbol.infix.floating-point", "settings": { "fontStyle": "underline" } }, { "name": "Floating-point prefix operators", "scope": "source.ocaml keyword.operator.symbol.prefix.floating-point", "settings": { "fontStyle": "underline" } }, { "name": "Storage Types", "scope": "storage.type", "settings": { "foreground": "#6080FF" } }, { "name": "Variant Types", "scope": "entity.name.class.variant", "settings": { "foreground": "#4080A0" } }, { "name": "Storage", "scope": "storage", "settings": { } }, { "name": "Type name", "scope": "entity.name.type", "settings": { "foreground": "#F09040" } }, { "name": "Inherited class", "scope": "entity.other.inherited-class", "settings": { } }, { "name": "Function name", "scope": "entity.name.function", "settings": { "fontStyle": "bold", "foreground": "#FFCC66" } }, { "name": "Type name", "scope": "storage.type.user-defined", "settings": { "foreground": "#FFE000" } }, { "name": "Class type name", "scope": "entity.name.type.class.type", "settings": { "foreground": "#F4A020" } }, { "name": "Function argument", "scope": "variable.parameter", "settings": { "fontStyle": "" } }, { "name": "Tag name", "scope": "entity.name.tag", "settings": { } }, { "name": "Tag attribute", "scope": "entity.other.attribute-name", "settings": { } }, { "name": "Library function", "scope": "support.function", "settings": { } }, { "name": "Library constant", "scope": "support.constant", "settings": { } }, { "name": "Library class\/type", "scope": "support.type, support.class", "settings": { } }, { "name": "Library variable", "scope": "support.variable", "settings": { } }, { "name": "Invalid", "scope": "invalid", "settings": { } } ], "uuid": "8D4988B9-ADD8-436F-B388-BC1360F8504B" }