GitHub Copilot
461b94a59c
- Add full 16-color palettes for tango and ristretto (previously background-only) - Fix ristretto background from #2d2525 to #2c2525 per Monokai Pro Ristretto source - Rename monokai to monokai-pro to reflect it is the Monokai Pro variant - Add classic monokai theme (bg #272822) from Monokai Classic - Import three new themes: miasma, github (dark dimmed), gotham - All 16 themes now have complete entries in both ThemeBackgrounds and ThemePalettes - Update terminal.ts frontend theme map to match
344 lines
9.2 KiB
Go
344 lines
9.2 KiB
Go
package webterm
|
|
|
|
var ThemeBackgrounds = map[string]string{
|
|
"tango": "#000000",
|
|
"xterm": "#000000",
|
|
"monokai": "#272822",
|
|
"monokai-pro": "#2d2a2e",
|
|
"ristretto": "#2c2525",
|
|
"dark": "#1e1e1e",
|
|
"light": "#ffffff",
|
|
"dracula": "#282a36",
|
|
"catppuccin": "#1e1e2e",
|
|
"nord": "#2e3440",
|
|
"gruvbox": "#282828",
|
|
"solarized": "#002b36",
|
|
"tokyo": "#1a1b26",
|
|
"miasma": "#222222",
|
|
"github": "#1c2128",
|
|
"gotham": "#0c1014",
|
|
}
|
|
|
|
var ThemePalettes = map[string]map[string]string{
|
|
"tango": {
|
|
"background": "#000000",
|
|
"foreground": "#ffffff",
|
|
"black": "#000000",
|
|
"red": "#cc0000",
|
|
"green": "#4e9a06",
|
|
"yellow": "#c4a000",
|
|
"blue": "#3465a4",
|
|
"magenta": "#75507b",
|
|
"cyan": "#06989a",
|
|
"white": "#d3d7cf",
|
|
"brightblack": "#555753",
|
|
"brightred": "#ef2929",
|
|
"brightgreen": "#8ae234",
|
|
"brightyellow": "#fce94f",
|
|
"brightblue": "#729fcf",
|
|
"brightmagenta": "#ad7fa8",
|
|
"brightcyan": "#34e2e2",
|
|
"brightwhite": "#eeeeec",
|
|
},
|
|
"xterm": {
|
|
"background": "#000000",
|
|
"foreground": "#e5e5e5",
|
|
"black": "#000000",
|
|
"red": "#cd0000",
|
|
"green": "#00cd00",
|
|
"yellow": "#cdcd00",
|
|
"blue": "#0000cd",
|
|
"magenta": "#cd00cd",
|
|
"cyan": "#00cdcd",
|
|
"white": "#e5e5e5",
|
|
"brightblack": "#4d4d4d",
|
|
"brightred": "#ff0000",
|
|
"brightgreen": "#00ff00",
|
|
"brightyellow": "#ffff00",
|
|
"brightblue": "#0000ff",
|
|
"brightmagenta": "#ff00ff",
|
|
"brightcyan": "#00ffff",
|
|
"brightwhite": "#ffffff",
|
|
},
|
|
"monokai": {
|
|
"background": "#272822",
|
|
"foreground": "#fdfff1",
|
|
"black": "#272822",
|
|
"red": "#f92672",
|
|
"green": "#a6e22e",
|
|
"yellow": "#e6db74",
|
|
"blue": "#fd971f",
|
|
"magenta": "#ae81ff",
|
|
"cyan": "#66d9ef",
|
|
"white": "#fdfff1",
|
|
"brightblack": "#6e7066",
|
|
"brightred": "#f92672",
|
|
"brightgreen": "#a6e22e",
|
|
"brightyellow": "#e6db74",
|
|
"brightblue": "#fd971f",
|
|
"brightmagenta": "#ae81ff",
|
|
"brightcyan": "#66d9ef",
|
|
"brightwhite": "#fdfff1",
|
|
},
|
|
"monokai-pro": {
|
|
"background": "#2d2a2e",
|
|
"foreground": "#fcfcfa",
|
|
"black": "#403e41",
|
|
"red": "#ff6188",
|
|
"green": "#a9dc76",
|
|
"yellow": "#ffd866",
|
|
"blue": "#fc9867",
|
|
"magenta": "#ab9df2",
|
|
"cyan": "#78dce8",
|
|
"white": "#fcfcfa",
|
|
"brightblack": "#727072",
|
|
"brightred": "#ff6188",
|
|
"brightgreen": "#a9dc76",
|
|
"brightyellow": "#ffd866",
|
|
"brightblue": "#fc9867",
|
|
"brightmagenta": "#ab9df2",
|
|
"brightcyan": "#78dce8",
|
|
"brightwhite": "#fcfcfa",
|
|
},
|
|
"ristretto": {
|
|
"background": "#2c2525",
|
|
"foreground": "#fff1f3",
|
|
"black": "#2c2525",
|
|
"red": "#fd6883",
|
|
"green": "#adda78",
|
|
"yellow": "#f9cc6c",
|
|
"blue": "#f38d70",
|
|
"magenta": "#a8a9eb",
|
|
"cyan": "#85dacc",
|
|
"white": "#fff1f3",
|
|
"brightblack": "#72696a",
|
|
"brightred": "#fd6883",
|
|
"brightgreen": "#adda78",
|
|
"brightyellow": "#f9cc6c",
|
|
"brightblue": "#f38d70",
|
|
"brightmagenta": "#a8a9eb",
|
|
"brightcyan": "#85dacc",
|
|
"brightwhite": "#fff1f3",
|
|
},
|
|
"dark": {
|
|
"background": "#1e1e1e",
|
|
"foreground": "#d4d4d4",
|
|
"black": "#000000",
|
|
"red": "#cd3131",
|
|
"green": "#0dbc79",
|
|
"yellow": "#e5e510",
|
|
"blue": "#2472c8",
|
|
"magenta": "#bc3fbc",
|
|
"cyan": "#11a8cd",
|
|
"white": "#e5e5e5",
|
|
"brightblack": "#666666",
|
|
"brightred": "#f14c4c",
|
|
"brightgreen": "#23d18b",
|
|
"brightyellow": "#f5f543",
|
|
"brightblue": "#3b8eea",
|
|
"brightmagenta": "#d670d6",
|
|
"brightcyan": "#29b8db",
|
|
"brightwhite": "#ffffff",
|
|
},
|
|
"light": {
|
|
"background": "#ffffff",
|
|
"foreground": "#383a42",
|
|
"black": "#000000",
|
|
"red": "#e45649",
|
|
"green": "#50a14f",
|
|
"yellow": "#c18401",
|
|
"blue": "#4078f2",
|
|
"magenta": "#a626a4",
|
|
"cyan": "#0184bc",
|
|
"white": "#a0a1a7",
|
|
"brightblack": "#5c6370",
|
|
"brightred": "#e06c75",
|
|
"brightgreen": "#98c379",
|
|
"brightyellow": "#d19a66",
|
|
"brightblue": "#61afef",
|
|
"brightmagenta": "#c678dd",
|
|
"brightcyan": "#56b6c2",
|
|
"brightwhite": "#ffffff",
|
|
},
|
|
"dracula": {
|
|
"background": "#282a36",
|
|
"foreground": "#f8f8f2",
|
|
"black": "#21222c",
|
|
"red": "#ff5555",
|
|
"green": "#50fa7b",
|
|
"yellow": "#f1fa8c",
|
|
"blue": "#bd93f9",
|
|
"magenta": "#ff79c6",
|
|
"cyan": "#8be9fd",
|
|
"white": "#f8f8f2",
|
|
"brightblack": "#6272a4",
|
|
"brightred": "#ff6e6e",
|
|
"brightgreen": "#69ff94",
|
|
"brightyellow": "#ffffa5",
|
|
"brightblue": "#d6acff",
|
|
"brightmagenta": "#ff92df",
|
|
"brightcyan": "#a4ffff",
|
|
"brightwhite": "#ffffff",
|
|
},
|
|
"catppuccin": {
|
|
"background": "#1e1e2e",
|
|
"foreground": "#cdd6f4",
|
|
"black": "#45475a",
|
|
"red": "#f38ba8",
|
|
"green": "#a6e3a1",
|
|
"yellow": "#f9e2af",
|
|
"blue": "#89b4fa",
|
|
"magenta": "#f5c2e7",
|
|
"cyan": "#94e2d5",
|
|
"white": "#bac2de",
|
|
"brightblack": "#585b70",
|
|
"brightred": "#f38ba8",
|
|
"brightgreen": "#a6e3a1",
|
|
"brightyellow": "#f9e2af",
|
|
"brightblue": "#89b4fa",
|
|
"brightmagenta": "#f5c2e7",
|
|
"brightcyan": "#94e2d5",
|
|
"brightwhite": "#a6adc8",
|
|
},
|
|
"nord": {
|
|
"background": "#2e3440",
|
|
"foreground": "#d8dee9",
|
|
"black": "#3b4252",
|
|
"red": "#bf616a",
|
|
"green": "#a3be8c",
|
|
"yellow": "#ebcb8b",
|
|
"blue": "#81a1c1",
|
|
"magenta": "#b48ead",
|
|
"cyan": "#88c0d0",
|
|
"white": "#e5e9f0",
|
|
"brightblack": "#4c566a",
|
|
"brightred": "#bf616a",
|
|
"brightgreen": "#a3be8c",
|
|
"brightyellow": "#ebcb8b",
|
|
"brightblue": "#81a1c1",
|
|
"brightmagenta": "#b48ead",
|
|
"brightcyan": "#8fbcbb",
|
|
"brightwhite": "#eceff4",
|
|
},
|
|
"gruvbox": {
|
|
"background": "#282828",
|
|
"foreground": "#ebdbb2",
|
|
"black": "#282828",
|
|
"red": "#cc241d",
|
|
"green": "#98971a",
|
|
"yellow": "#d79921",
|
|
"blue": "#458588",
|
|
"magenta": "#b16286",
|
|
"cyan": "#689d6a",
|
|
"white": "#a89984",
|
|
"brightblack": "#928374",
|
|
"brightred": "#fb4934",
|
|
"brightgreen": "#b8bb26",
|
|
"brightyellow": "#fabd2f",
|
|
"brightblue": "#83a598",
|
|
"brightmagenta": "#d3869b",
|
|
"brightcyan": "#8ec07c",
|
|
"brightwhite": "#ebdbb2",
|
|
},
|
|
"solarized": {
|
|
"background": "#002b36",
|
|
"foreground": "#839496",
|
|
"black": "#073642",
|
|
"red": "#dc322f",
|
|
"green": "#859900",
|
|
"yellow": "#b58900",
|
|
"blue": "#268bd2",
|
|
"magenta": "#d33682",
|
|
"cyan": "#2aa198",
|
|
"white": "#eee8d5",
|
|
"brightblack": "#586e75",
|
|
"brightred": "#cb4b16",
|
|
"brightgreen": "#586e75",
|
|
"brightyellow": "#657b83",
|
|
"brightblue": "#839496",
|
|
"brightmagenta": "#6c71c4",
|
|
"brightcyan": "#93a1a1",
|
|
"brightwhite": "#fdf6e3",
|
|
},
|
|
"miasma": {
|
|
"background": "#222222",
|
|
"foreground": "#c2c2b0",
|
|
"black": "#000000",
|
|
"red": "#685742",
|
|
"green": "#5f875f",
|
|
"yellow": "#b36d43",
|
|
"blue": "#78824b",
|
|
"magenta": "#bb7744",
|
|
"cyan": "#c9a554",
|
|
"white": "#d7c483",
|
|
"brightblack": "#666666",
|
|
"brightred": "#685742",
|
|
"brightgreen": "#5f875f",
|
|
"brightyellow": "#b36d43",
|
|
"brightblue": "#78824b",
|
|
"brightmagenta": "#bb7744",
|
|
"brightcyan": "#c9a554",
|
|
"brightwhite": "#d7c483",
|
|
},
|
|
"github": {
|
|
"background": "#1c2128",
|
|
"foreground": "#adbac7",
|
|
"black": "#545d68",
|
|
"red": "#f47067",
|
|
"green": "#57ab5a",
|
|
"yellow": "#c69026",
|
|
"blue": "#539bf5",
|
|
"magenta": "#b083f0",
|
|
"cyan": "#39c5cf",
|
|
"white": "#909dab",
|
|
"brightblack": "#636e7b",
|
|
"brightred": "#ff938a",
|
|
"brightgreen": "#6bc46d",
|
|
"brightyellow": "#daaa3f",
|
|
"brightblue": "#6cb6ff",
|
|
"brightmagenta": "#dcbdfb",
|
|
"brightcyan": "#56d4dd",
|
|
"brightwhite": "#cdd9e5",
|
|
},
|
|
"gotham": {
|
|
"background": "#0c1014",
|
|
"foreground": "#99d1ce",
|
|
"black": "#0c1014",
|
|
"red": "#c23127",
|
|
"green": "#2aa889",
|
|
"yellow": "#edb443",
|
|
"blue": "#195466",
|
|
"magenta": "#4e5166",
|
|
"cyan": "#33859e",
|
|
"white": "#99d1ce",
|
|
"brightblack": "#0c1014",
|
|
"brightred": "#c23127",
|
|
"brightgreen": "#2aa889",
|
|
"brightyellow": "#edb443",
|
|
"brightblue": "#195466",
|
|
"brightmagenta": "#4e5166",
|
|
"brightcyan": "#33859e",
|
|
"brightwhite": "#99d1ce",
|
|
},
|
|
"tokyo": {
|
|
"background": "#1a1b26",
|
|
"foreground": "#a9b1d6",
|
|
"black": "#15161e",
|
|
"red": "#f7768e",
|
|
"green": "#9ece6a",
|
|
"yellow": "#e0af68",
|
|
"blue": "#7aa2f7",
|
|
"magenta": "#bb9af7",
|
|
"cyan": "#7dcfff",
|
|
"white": "#a9b1d6",
|
|
"brightblack": "#414868",
|
|
"brightred": "#f7768e",
|
|
"brightgreen": "#9ece6a",
|
|
"brightyellow": "#e0af68",
|
|
"brightblue": "#7aa2f7",
|
|
"brightmagenta": "#bb9af7",
|
|
"brightcyan": "#7dcfff",
|
|
"brightwhite": "#c0caf5",
|
|
},
|
|
}
|