spectral-m2 0.3.0

A syntax-aware terminal shell for Macaulay2
[dark.night]
native = { bg = "#1a1b26", bg_dark = "#16161e", bg_dark1 = "#0c0e14", bg_float = "#16161e", bg_highlight = "#292e42", bg_popup = "#16161e", bg_search = "#3d59a1", bg_sidebar = "#16161e", bg_statusline = "#16161e", bg_visual = "#283457", black = "#15161e", blue = "#7aa2f7", blue0 = "#3d59a1", blue1 = "#2ac3de", blue2 = "#0db9d7", blue5 = "#89ddff", blue6 = "#b4f9f8", blue7 = "#394b70", border = "#15161e", border_highlight = "#27a1b9", comment = "#565f89", cyan = "#7dcfff", dark3 = "#545c7e", dark5 = "#737aa2", error = "#db4b4b", fg = "#c0caf5", fg_dark = "#a9b1d6", fg_float = "#c0caf5", fg_gutter = "#3b4261", fg_sidebar = "#a9b1d6", green = "#9ece6a", green1 = "#73daca", green2 = "#41a6b5", hint = "#1abc9c", info = "#0db9d7", magenta = "#bb9af7", magenta2 = "#ff007c", orange = "#ff9e64", purple = "#9d7cd8", red = "#f7768e", red1 = "#db4b4b", teal = "#1abc9c", terminal_black = "#414868", todo = "#7aa2f7", warning = "#e0af68", yellow = "#e0af68" }
red = ["#f7768e", "#db4b4b"]
green = ["#9ece6a", "#73daca", "#41a6b5"]
yellow = ["#e0af68"]
blue = ["#7aa2f7", "#2ac3de", "#89ddff", "#3d59a1", "#0db9d7", "#b4f9f8"]
purple = ["#9d7cd8", "#bb9af7", "#ff007c"]
aqua = ["#7dcfff", "#1abc9c"]
orange = ["#ff9e64"]
gray = ["#565f89", "#545c7e", "#737aa2", "#3b4261"]
bg = ["#0c0e14", "#16161e", "#1a1b26", "#292e42", "#414868", "#394b70"]
fg = ["#a9b1d6", "#c0caf5"]

[dark.storm]
native = { bg = "#24283b", bg_dark = "#1f2335", bg_dark1 = "#1b1e2d", bg_float = "#1f2335", bg_highlight = "#292e42", bg_popup = "#1f2335", bg_search = "#3d59a1", bg_sidebar = "#1f2335", bg_statusline = "#1f2335", bg_visual = "#2e3c64", black = "#1d202f", blue = "#7aa2f7", blue0 = "#3d59a1", blue1 = "#2ac3de", blue2 = "#0db9d7", blue5 = "#89ddff", blue6 = "#b4f9f8", blue7 = "#394b70", border = "#1d202f", border_highlight = "#29a4bd", comment = "#565f89", cyan = "#7dcfff", dark3 = "#545c7e", dark5 = "#737aa2", error = "#db4b4b", fg = "#c0caf5", fg_dark = "#a9b1d6", fg_float = "#c0caf5", fg_gutter = "#3b4261", fg_sidebar = "#a9b1d6", green = "#9ece6a", green1 = "#73daca", green2 = "#41a6b5", hint = "#1abc9c", info = "#0db9d7", magenta = "#bb9af7", magenta2 = "#ff007c", orange = "#ff9e64", purple = "#9d7cd8", red = "#f7768e", red1 = "#db4b4b", teal = "#1abc9c", terminal_black = "#414868", todo = "#7aa2f7", warning = "#e0af68", yellow = "#e0af68" }
red = ["#f7768e", "#db4b4b"]
green = ["#9ece6a", "#73daca", "#41a6b5"]
yellow = ["#e0af68"]
blue = ["#7aa2f7", "#2ac3de", "#89ddff", "#3d59a1", "#0db9d7", "#b4f9f8"]
purple = ["#9d7cd8", "#bb9af7", "#ff007c"]
aqua = ["#7dcfff", "#1abc9c"]
orange = ["#ff9e64"]
gray = ["#565f89", "#545c7e", "#737aa2", "#3b4261"]
bg = ["#1b1e2d", "#1f2335", "#24283b", "#292e42", "#414868", "#394b70"]
fg = ["#a9b1d6", "#c0caf5"]

[dark.moon]
native = { bg = "#222436", bg_dark = "#1e2030", bg_dark1 = "#191b29", bg_float = "#1e2030", bg_highlight = "#2f334d", bg_popup = "#1e2030", bg_search = "#3e68d7", bg_sidebar = "#1e2030", bg_statusline = "#1e2030", bg_visual = "#2d3f76", black = "#1b1d2b", blue = "#82aaff", blue0 = "#3e68d7", blue1 = "#65bcff", blue2 = "#0db9d7", blue5 = "#89ddff", blue6 = "#b4f9f8", blue7 = "#394b70", border = "#1b1d2b", border_highlight = "#589ed7", comment = "#636da6", cyan = "#86e1fc", dark3 = "#545c7e", dark5 = "#737aa2", error = "#c53b53", fg = "#c8d3f5", fg_dark = "#828bb8", fg_float = "#c8d3f5", fg_gutter = "#3b4261", fg_sidebar = "#828bb8", green = "#c3e88d", green1 = "#4fd6be", green2 = "#41a6b5", hint = "#4fd6be", info = "#0db9d7", magenta = "#c099ff", magenta2 = "#ff007c", orange = "#ff966c", purple = "#fca7ea", red = "#ff757f", red1 = "#c53b53", teal = "#4fd6be", terminal_black = "#444a73", todo = "#82aaff", warning = "#ffc777", yellow = "#ffc777" }
red = ["#ff757f", "#c53b53"]
green = ["#c3e88d", "#4fd6be", "#41a6b5"]
yellow = ["#ffc777"]
blue = ["#82aaff", "#65bcff", "#89ddff", "#3e68d7", "#0db9d7", "#b4f9f8"]
purple = ["#fca7ea", "#c099ff", "#ff007c"]
aqua = ["#86e1fc", "#4fd6be"]
orange = ["#ff966c"]
gray = ["#636da6", "#545c7e", "#737aa2", "#3b4261"]
bg = ["#191b29", "#1e2030", "#222436", "#2f334d", "#444a73", "#394b70"]
fg = ["#828bb8", "#c8d3f5"]

[light.day]
native = { bg = "#e1e2e7", bg_dark = "#d0d5e3", bg_dark1 = "#c1c9df", bg_float = "#d0d5e3", bg_highlight = "#c4c8da", bg_popup = "#d0d5e3", bg_search = "#7890dd", bg_sidebar = "#d0d5e3", bg_statusline = "#d0d5e3", bg_visual = "#b7c1e3", black = "#b4b5b9", blue = "#2e7de9", blue0 = "#7890dd", blue1 = "#188092", blue2 = "#07879d", blue5 = "#006a83", blue6 = "#2e5857", blue7 = "#92a6d5", border = "#b4b5b9", border_highlight = "#4094a3", comment = "#848cb5", cyan = "#007197", dark3 = "#8990b3", dark5 = "#68709a", error = "#c64343", fg = "#3760bf", fg_dark = "#6172b0", fg_float = "#3760bf", fg_gutter = "#a8aecb", fg_sidebar = "#6172b0", green = "#587539", green1 = "#387068", green2 = "#38919f", hint = "#118c74", info = "#07879d", magenta = "#9854f1", magenta2 = "#d20065", orange = "#b15c00", purple = "#7847bd", red = "#f52a65", red1 = "#c64343", teal = "#118c74", terminal_black = "#a1a6c5", todo = "#2e7de9", warning = "#8c6c3e", yellow = "#8c6c3e" }
red = ["#f52a65", "#c64343"]
green = ["#587539", "#387068"]
yellow = ["#8c6c3e"]
blue = ["#2e7de9", "#188092", "#006a83"]
purple = ["#7847bd", "#9854f1"]
aqua = ["#007197", "#118c74"]
orange = ["#b15c00"]
gray = ["#848cb5", "#a1a6c5"]
bg = ["#d0d5e3", "#d0d5e3", "#e1e2e7", "#e1e2e7", "#a1a6c5", "#b7c1e3"]
fg = ["#6172b0", "#3760bf"]