spectral-m2 1.0.0

A syntax-aware terminal shell for Macaulay2
1
2
3
4
5
6
7
8
9
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

name = "gruvbox material"

[variants]
dark = ["material", "mix", "original"]
light = ["material", "mix", "original"]

[colors.red]
dark = { material = "#ea6962", mix = "#f2594b", original = "#fb4934" }
light = { material = "#c14a4a", mix = "#af2528", original = "#9d0006" }

[colors.green]
dark = { material = "#a9b665", mix = "#b0b846", original = "#b8bb26" }
light = { material = "#6c782e", mix = "#72761e", original = "#79740e" }

[colors.yellow]
dark = { material = "#d8a657", mix = "#e9b143", original = "#fabd2f" }
light = { material = "#b47109", mix = "#b4730e", original = "#b57614" }

[colors.blue]
dark = { material = "#7daea3", mix = "#80aa9e", original = "#83a598" }
light = { material = "#45707a", mix = "#266b79", original = "#076678" }

[colors.purple]
dark = "#d3869b"
light = { material = "#945e80", mix = "#924f79", original = "#8f3f71" }

[colors.aqua]
dark = { material = "#89b482", mix = "#8bba7f", original = "#8ec07c" }
light = { material = "#4c7a5d", mix = "#477a5b", original = "#427b58" }

[colors.orange]
dark = { material = "#e78a4e", mix = "#f28534", original = "#fe8019" }
light = { material = "#c35e0a", mix = "#b94c07", original = "#af3a03" }

[colors.gray]
dark = "#928374"
light = "#928374"

[colors.fg]
dark = { material = ["#d4be98", "#ddc7a1", "#a89984", "#928374", "#7c6f64"], mix = ["#e2cca9", "#e2cca9", "#a89984", "#928374", "#7c6f64"], original = ["#ebdbb2", "#ebdbb2", "#a89984", "#928374", "#7c6f64"] }
light = { material = ["#654735", "#4f3829", "#7c6f64", "#928374", "#a89984"], mix = ["#514036", "#514036", "#7c6f64", "#928374", "#a89984"], original = ["#3c3836", "#3c3836", "#7c6f64", "#928374", "#a89984"] }

[colors.bg]
dark = ["#282828", "#1b1b1b", "#32302f", "#32302f", "#45403d"]
light = ["#fbf1c7", "#f2e5bc", "#f4e8be", "#f2e5bc", "#eee0b7"]

[base]
Canvas = { bg = "bg0" }
Code = { bg = "bg1" }
Raised = { bg = "bg2" }
Pending = { bg = "bg2" }
Selection = { bg = "bg4" }
Focus = { bg = "bg_green" }
Text = { fg = "fg0" }
Muted = { fg = "gray" }
Faint = { fg = "fg4" }
Keyword = { fg = "red" }
Function = { fg = "green" }
Type = { fg = "yellow" }
String = { fg = "aqua" }
Number = { fg = "purple" }
Operator = { fg = "orange" }
Symbol = { fg = "blue" }
Parameter = { fg = "fg0" }
Property = { fg = "blue" }
EnumVariant = { fg = "aqua" }
Macro = { fg = "green", italic = true }
Attribute = { fg = "orange" }
Builtin = { fg = "purple", italic = true }
Regex = { fg = "blue", sp = "blue", underline = true }
Accent = { fg = "aqua" }
Error = { fg = "red" }
Warning = { fg = "yellow" }
Info = { fg = "blue" }
Hint = { fg = "aqua" }

[overrides]
Constant = { fg = "purple", italic = true }
Punctuation = { fg = "fg2" }
Installation = { fg = "orange" }
Quote = { fg = "yellow" }