10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
-
+
+
+
|
"line_highlight": "hsl(210, 60%, 25%)",
"bracket_options": "underline bold",
"selection": "hsl(210, 50%, 20%)",
"selection_border": "hsl(210, 80%, 40%)",
"selection_border_width": "1",
"selection_corner_style": "cut",
"selection_corner_radius": "4",
"selection_corner_radius": "3",
"invisibles": "hsl(210, 20%, 40%)",
"highlight": "hsl(210, 100%, 60%)"
},
"rules":
[
{ "name": "Options command", "scope": "options.command", "foreground": "#50F0A0", "font_style": "bold", },
{ "name": "Options parameter", "scope": "options.parameter", "foreground": "#70B0F0", "font_style": "bold", },
{ "name": "Comment", "scope": "comment", "foreground": "hsl(210, 10%, 50%)" },
{ "name": "Bookmark", "scope": "bookmark", "foreground": "#A0F0FF", "background": "#0050A0", },
{ "name": "Graphline", "scope": "graphline", "foreground": "hsl(0, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", },
{ "name": "Graphname", "scope": "string.graphname", "foreground": "hsl(30, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", },
{ "name": "Graphcode", "scope": "string.graphcode", "foreground": "hsl(180, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", },
{ "name": "Error message", "scope": "string.message", "foreground": "hsl(0, 50%, 65%)", },
{ "name": "Error message esc", "scope": "string.message.esc", "foreground": "hsl(30, 100%, 65%)", "background": "hsl(60, 100%, 12%)", "font_style": "bold" },
{ "name": "Error message URL", "scope": "string.message.url", "foreground": "hsl(180, 100%, 35%)", "background": "hsl(180, 100%, 12%)", },
{ "name": "Test header", "scope": "test.header", "foreground": "hsl(150, 100%, 60%)", "font_style": "bold" },
{ "name": "Test option", "scope": "test.error", "foreground": "hsl(0, 90%, 67%)", },
{ "name": "Todo", "scope": "todo", "foreground": "hsl(20, 90%, 60%)", "font_style": "bold", },
|