spectral-m2 0.3.0

A syntax-aware terminal shell for Macaulay2
[dark.wave]
native = { autumnGreen = "#76946a", autumnRed = "#c34043", autumnYellow = "#dca561", boatYellow1 = "#938056", boatYellow2 = "#c0a36e", carpYellow = "#e6c384", crystalBlue = "#7e9cd8", dragonAqua = "#8ea4a2", dragonAsh = "#737c73", dragonBlack0 = "#0d0c0c", dragonBlack1 = "#12120f", dragonBlack2 = "#1d1c19", dragonBlack3 = "#181616", dragonBlack4 = "#282727", dragonBlack5 = "#393836", dragonBlack6 = "#625e5a", dragonBlue = "#658594", dragonBlue2 = "#8ba4b0", dragonGray = "#a6a69c", dragonGray2 = "#9e9b93", dragonGray3 = "#7a8382", dragonGreen = "#87a987", dragonGreen2 = "#8a9a7b", dragonOrange = "#b6927b", dragonOrange2 = "#b98d7b", dragonPink = "#a292a3", dragonRed = "#c4746e", dragonTeal = "#949fb5", dragonViolet = "#8992a7", dragonWhite = "#c5c9c5", dragonYellow = "#c4b28a", fujiGray = "#727169", fujiWhite = "#dcd7ba", katanaGray = "#717c7c", lightBlue = "#a3d4d5", lotusAqua = "#597b75", lotusAqua2 = "#5e857a", lotusBlue1 = "#c7d7e0", lotusBlue2 = "#b5cbd2", lotusBlue3 = "#9fb5c9", lotusBlue4 = "#4d699b", lotusBlue5 = "#5d57a3", lotusCyan = "#d7e3d8", lotusGray = "#dcd7ba", lotusGray2 = "#716e61", lotusGray3 = "#8a8980", lotusGreen = "#6f894e", lotusGreen2 = "#6e915f", lotusGreen3 = "#b7d0ae", lotusInk1 = "#545464", lotusInk2 = "#43436c", lotusOrange = "#cc6d00", lotusOrange2 = "#e98a00", lotusPink = "#b35b79", lotusRed = "#c84053", lotusRed2 = "#d7474b", lotusRed3 = "#e82424", lotusRed4 = "#d9a594", lotusTeal1 = "#4e8ca2", lotusTeal2 = "#6693bf", lotusTeal3 = "#5a7785", lotusViolet1 = "#a09cac", lotusViolet2 = "#766b90", lotusViolet3 = "#c9cbd1", lotusViolet4 = "#624c83", lotusWhite0 = "#d5cea3", lotusWhite1 = "#dcd5ac", lotusWhite2 = "#e5ddb0", lotusWhite3 = "#f2ecbc", lotusWhite4 = "#e7dba0", lotusWhite5 = "#e4d794", lotusYellow = "#77713f", lotusYellow2 = "#836f4a", lotusYellow3 = "#de9800", lotusYellow4 = "#f9d791", oldWhite = "#c8c093", oniViolet = "#957fb8", oniViolet2 = "#b8b4d0", peachRed = "#ff5d62", roninYellow = "#ff9e3b", sakuraPink = "#d27e99", samuraiRed = "#e82424", springBlue = "#7fb4ca", springGreen = "#98bb6c", springViolet1 = "#938aa9", springViolet2 = "#9cabca", sumiInk0 = "#16161d", sumiInk1 = "#181820", sumiInk2 = "#1a1a22", sumiInk3 = "#1f1f28", sumiInk4 = "#2a2a37", sumiInk5 = "#363646", sumiInk6 = "#54546d", surimiOrange = "#ffa066", waveAqua1 = "#6a9589", waveAqua2 = "#7aa89f", waveBlue1 = "#223249", waveBlue2 = "#2d4f67", waveRed = "#e46876", winterBlue = "#252535", winterGreen = "#2b3328", winterRed = "#43242b", winterYellow = "#49443c" }
red = ["#e82424", "#e46876", "#ff5d62", "#c34043"]
green = ["#98bb6c", "#76946a"]
yellow = ["#e6c384", "#c0a36e", "#938056", "#ff9e3b", "#dca561"]
blue = ["#7e9cd8", "#7fb4ca", "#658594", "#a3d4d5"]
purple = ["#957fb8", "#b8b4d0", "#9cabca", "#938aa9", "#d27e99"]
aqua = ["#7aa89f", "#6a9589"]
orange = ["#ffa066"]
gray = ["#727169", "#717c7c"]
bg = ["#16161d", "#181820", "#1a1a22", "#1f1f28", "#2a2a37", "#363646", "#223249", "#2d4f67", "#2b3328", "#49443c", "#43242b", "#252535"]
fg = ["#c8c093", "#dcd7ba"]

[dark.dragon]
native = { autumnGreen = "#76946a", autumnRed = "#c34043", autumnYellow = "#dca561", boatYellow1 = "#938056", boatYellow2 = "#c0a36e", carpYellow = "#e6c384", crystalBlue = "#7e9cd8", dragonAqua = "#8ea4a2", dragonAsh = "#737c73", dragonBlack0 = "#0d0c0c", dragonBlack1 = "#12120f", dragonBlack2 = "#1d1c19", dragonBlack3 = "#181616", dragonBlack4 = "#282727", dragonBlack5 = "#393836", dragonBlack6 = "#625e5a", dragonBlue = "#658594", dragonBlue2 = "#8ba4b0", dragonGray = "#a6a69c", dragonGray2 = "#9e9b93", dragonGray3 = "#7a8382", dragonGreen = "#87a987", dragonGreen2 = "#8a9a7b", dragonOrange = "#b6927b", dragonOrange2 = "#b98d7b", dragonPink = "#a292a3", dragonRed = "#c4746e", dragonTeal = "#949fb5", dragonViolet = "#8992a7", dragonWhite = "#c5c9c5", dragonYellow = "#c4b28a", fujiGray = "#727169", fujiWhite = "#dcd7ba", katanaGray = "#717c7c", lightBlue = "#a3d4d5", lotusAqua = "#597b75", lotusAqua2 = "#5e857a", lotusBlue1 = "#c7d7e0", lotusBlue2 = "#b5cbd2", lotusBlue3 = "#9fb5c9", lotusBlue4 = "#4d699b", lotusBlue5 = "#5d57a3", lotusCyan = "#d7e3d8", lotusGray = "#dcd7ba", lotusGray2 = "#716e61", lotusGray3 = "#8a8980", lotusGreen = "#6f894e", lotusGreen2 = "#6e915f", lotusGreen3 = "#b7d0ae", lotusInk1 = "#545464", lotusInk2 = "#43436c", lotusOrange = "#cc6d00", lotusOrange2 = "#e98a00", lotusPink = "#b35b79", lotusRed = "#c84053", lotusRed2 = "#d7474b", lotusRed3 = "#e82424", lotusRed4 = "#d9a594", lotusTeal1 = "#4e8ca2", lotusTeal2 = "#6693bf", lotusTeal3 = "#5a7785", lotusViolet1 = "#a09cac", lotusViolet2 = "#766b90", lotusViolet3 = "#c9cbd1", lotusViolet4 = "#624c83", lotusWhite0 = "#d5cea3", lotusWhite1 = "#dcd5ac", lotusWhite2 = "#e5ddb0", lotusWhite3 = "#f2ecbc", lotusWhite4 = "#e7dba0", lotusWhite5 = "#e4d794", lotusYellow = "#77713f", lotusYellow2 = "#836f4a", lotusYellow3 = "#de9800", lotusYellow4 = "#f9d791", oldWhite = "#c8c093", oniViolet = "#957fb8", oniViolet2 = "#b8b4d0", peachRed = "#ff5d62", roninYellow = "#ff9e3b", sakuraPink = "#d27e99", samuraiRed = "#e82424", springBlue = "#7fb4ca", springGreen = "#98bb6c", springViolet1 = "#938aa9", springViolet2 = "#9cabca", sumiInk0 = "#16161d", sumiInk1 = "#181820", sumiInk2 = "#1a1a22", sumiInk3 = "#1f1f28", sumiInk4 = "#2a2a37", sumiInk5 = "#363646", sumiInk6 = "#54546d", surimiOrange = "#ffa066", waveAqua1 = "#6a9589", waveAqua2 = "#7aa89f", waveBlue1 = "#223249", waveBlue2 = "#2d4f67", waveRed = "#e46876", winterBlue = "#252535", winterGreen = "#2b3328", winterRed = "#43242b", winterYellow = "#49443c" }
red = ["#e82424", "#c4746e", "#e46876"]
green = ["#8a9a7b", "#87a987", "#98bb6c", "#76946a"]
yellow = ["#c4b28a", "#e6c384", "#ff9e3b", "#dca561"]
blue = ["#8ba4b0", "#949fb5", "#658594", "#7fb4ca"]
purple = ["#8992a7", "#a6a69c", "#9e9b93", "#938aa9", "#a292a3"]
aqua = ["#8ea4a2", "#6a9589", "#7aa89f"]
orange = ["#b6927b", "#b98d7b"]
gray = ["#737c73", "#717c7c", "#7a8382"]
bg = ["#0d0c0c", "#12120f", "#1d1c19", "#181616", "#282727", "#393836", "#223249", "#2d4f67", "#2b3328", "#49443c", "#43242b", "#252535"]
fg = ["#c8c093", "#c5c9c5"]

[light.lotus]
native = { autumnGreen = "#76946a", autumnRed = "#c34043", autumnYellow = "#dca561", boatYellow1 = "#938056", boatYellow2 = "#c0a36e", carpYellow = "#e6c384", crystalBlue = "#7e9cd8", dragonAqua = "#8ea4a2", dragonAsh = "#737c73", dragonBlack0 = "#0d0c0c", dragonBlack1 = "#12120f", dragonBlack2 = "#1d1c19", dragonBlack3 = "#181616", dragonBlack4 = "#282727", dragonBlack5 = "#393836", dragonBlack6 = "#625e5a", dragonBlue = "#658594", dragonBlue2 = "#8ba4b0", dragonGray = "#a6a69c", dragonGray2 = "#9e9b93", dragonGray3 = "#7a8382", dragonGreen = "#87a987", dragonGreen2 = "#8a9a7b", dragonOrange = "#b6927b", dragonOrange2 = "#b98d7b", dragonPink = "#a292a3", dragonRed = "#c4746e", dragonTeal = "#949fb5", dragonViolet = "#8992a7", dragonWhite = "#c5c9c5", dragonYellow = "#c4b28a", fujiGray = "#727169", fujiWhite = "#dcd7ba", katanaGray = "#717c7c", lightBlue = "#a3d4d5", lotusAqua = "#597b75", lotusAqua2 = "#5e857a", lotusBlue1 = "#c7d7e0", lotusBlue2 = "#b5cbd2", lotusBlue3 = "#9fb5c9", lotusBlue4 = "#4d699b", lotusBlue5 = "#5d57a3", lotusCyan = "#d7e3d8", lotusGray = "#dcd7ba", lotusGray2 = "#716e61", lotusGray3 = "#8a8980", lotusGreen = "#6f894e", lotusGreen2 = "#6e915f", lotusGreen3 = "#b7d0ae", lotusInk1 = "#545464", lotusInk2 = "#43436c", lotusOrange = "#cc6d00", lotusOrange2 = "#e98a00", lotusPink = "#b35b79", lotusRed = "#c84053", lotusRed2 = "#d7474b", lotusRed3 = "#e82424", lotusRed4 = "#d9a594", lotusTeal1 = "#4e8ca2", lotusTeal2 = "#6693bf", lotusTeal3 = "#5a7785", lotusViolet1 = "#a09cac", lotusViolet2 = "#766b90", lotusViolet3 = "#c9cbd1", lotusViolet4 = "#624c83", lotusWhite0 = "#d5cea3", lotusWhite1 = "#dcd5ac", lotusWhite2 = "#e5ddb0", lotusWhite3 = "#f2ecbc", lotusWhite4 = "#e7dba0", lotusWhite5 = "#e4d794", lotusYellow = "#77713f", lotusYellow2 = "#836f4a", lotusYellow3 = "#de9800", lotusYellow4 = "#f9d791", oldWhite = "#c8c093", oniViolet = "#957fb8", oniViolet2 = "#b8b4d0", peachRed = "#ff5d62", roninYellow = "#ff9e3b", sakuraPink = "#d27e99", samuraiRed = "#e82424", springBlue = "#7fb4ca", springGreen = "#98bb6c", springViolet1 = "#938aa9", springViolet2 = "#9cabca", sumiInk0 = "#16161d", sumiInk1 = "#181820", sumiInk2 = "#1a1a22", sumiInk3 = "#1f1f28", sumiInk4 = "#2a2a37", sumiInk5 = "#363646", sumiInk6 = "#54546d", surimiOrange = "#ffa066", waveAqua1 = "#6a9589", waveAqua2 = "#7aa89f", waveBlue1 = "#223249", waveBlue2 = "#2d4f67", waveRed = "#e46876", winterBlue = "#252535", winterGreen = "#2b3328", winterRed = "#43242b", winterYellow = "#49443c" }
red = ["#e82424", "#c84053", "#d7474b", "#d9a594"]
green = ["#6f894e", "#6e915f", "#b7d0ae"]
yellow = ["#77713f", "#836f4a", "#de9800", "#f9d791"]
blue = ["#4d699b", "#5d57a3", "#c7d7e0", "#b5cbd2", "#9fb5c9", "#5a7785"]
purple = ["#624c83", "#b35b79", "#a09cac", "#766b90", "#c9cbd1"]
aqua = ["#597b75", "#5e857a", "#4e8ca2", "#6693bf", "#d7e3d8"]
orange = ["#cc6d00", "#e98a00"]
gray = ["#8a8980", "#716e61", "#dcd7ba"]
bg = ["#d5cea3", "#dcd5ac", "#e5ddb0", "#f2ecbc", "#e7dba0", "#e4d794", "#c9cbd1", "#b5cbd2"]
fg = ["#43436c", "#545464"]