2018-12-30 14:34:39 +01:00
|
|
|
let
|
2019-01-03 00:43:21 +01:00
|
|
|
flip = scheme: scheme // rec {
|
2019-01-02 02:20:32 +01:00
|
|
|
background = scheme.foreground;
|
|
|
|
|
foreground = scheme.background;
|
|
|
|
|
fadeColor = background;
|
|
|
|
|
pointerColorForeground = scheme.pointerColorBackground;
|
|
|
|
|
pointerColorBackground = scheme.pointerColorForeground;
|
|
|
|
|
};
|
2018-12-30 14:34:39 +01:00
|
|
|
antares = rec {
|
|
|
|
|
black = { light = "#151515"; dark = "#000000"; };
|
|
|
|
|
red = { light = "#de575c"; dark = "#de575c"; };
|
|
|
|
|
yellow = { light = "#ebe971"; dark = "#ebe971"; };
|
|
|
|
|
green = { light = "#00b853"; dark = "#00b853"; };
|
|
|
|
|
blue = { light = "#90d0f0"; dark = "#7fc6f0"; };
|
|
|
|
|
magenta = { light = "#cf9ffa"; dark = "#cf9ffa"; };
|
|
|
|
|
cyan = { light = "#4ae5e8"; dark = "#4ae5e8"; };
|
|
|
|
|
white = { light = "#ffffff"; dark = "#bbbbbb"; };
|
|
|
|
|
background = black.dark;
|
|
|
|
|
foreground = white.dark;
|
2018-09-11 18:16:33 +02:00
|
|
|
};
|
2019-01-02 02:20:32 +01:00
|
|
|
macOS = rec {
|
|
|
|
|
black = { light = "#818383"; dark = "#000000"; };
|
|
|
|
|
red = { light = "#fc391f"; dark = "#c23621"; };
|
|
|
|
|
yellow = { light = "#eaec23"; dark = "#adad27"; };
|
|
|
|
|
green = { light = "#31e722"; dark = "#25bc24"; };
|
|
|
|
|
blue = { light = "#5833ff"; dark = "#492ee1"; };
|
|
|
|
|
magenta = { light = "#f935f8"; dark = "#d338d3"; };
|
|
|
|
|
cyan = { light = "#14f0f0"; dark = "#33bbc8"; };
|
|
|
|
|
white = { light = "e9ebeb#"; dark = "#cbcccd"; };
|
|
|
|
|
background = black.dark;
|
|
|
|
|
foreground = white.dark;
|
|
|
|
|
fadeColor = black.dark;
|
|
|
|
|
cursorColor = green.light;
|
|
|
|
|
pointerColorForeground = green.light;
|
|
|
|
|
pointerColorBackground = white.dark;
|
|
|
|
|
};
|
2018-12-30 14:34:39 +01:00
|
|
|
solarizedDark = rec {
|
|
|
|
|
black = { dark = "#073642"; light = "#002b36"; };
|
|
|
|
|
red = { dark = "#dc322f"; light = "#cb4b16"; };
|
|
|
|
|
yellow = { dark = "#b58900"; light = "#657b83"; };
|
|
|
|
|
green = { dark = "#859900"; light = "#586e75"; };
|
|
|
|
|
blue = { dark = "#268bd2"; light = "#839496"; };
|
|
|
|
|
magenta = { dark = "#d33682"; light = "#6c71c4"; };
|
|
|
|
|
cyan = { dark = "#2aa198"; light = "#93a1a1"; };
|
|
|
|
|
white = { dark = "#eee8d5"; light = "#fdf6e3"; };
|
|
|
|
|
background = black.light;
|
|
|
|
|
foreground = blue.light;
|
|
|
|
|
fadeColor = black.light;
|
|
|
|
|
cursorColor = cyan.light;
|
|
|
|
|
pointerColorBackground = green.light;
|
|
|
|
|
pointerColorForeground = cyan.light;
|
|
|
|
|
};
|
|
|
|
|
solarizedLight = solarizedDark // {
|
|
|
|
|
background = solarizedDark.white.light;
|
|
|
|
|
foreground = solarizedDark.yellow.light;
|
|
|
|
|
fadeColor = solarizedDark.white.light;
|
|
|
|
|
cursorColor = solarizedDark.green.light;
|
|
|
|
|
pointerColorBackground = solarizedDark.cyan.light;
|
|
|
|
|
pointerColorForeground = solarizedDark.green.light;
|
|
|
|
|
};
|
|
|
|
|
in rec {
|
2019-01-04 16:36:52 +01:00
|
|
|
uiFont = { name = "Sans"; size = 9; };
|
|
|
|
|
terminalFont = { name = "Monospace"; size = 9; };
|
2018-09-11 18:16:33 +02:00
|
|
|
|
|
|
|
|
white = "#ffffff";
|
|
|
|
|
black = "#000000";
|
2018-12-30 14:34:39 +01:00
|
|
|
gray = "#888888";
|
|
|
|
|
|
|
|
|
|
colorScheme = solarizedDark;
|
|
|
|
|
invertedColorScheme = solarizedLight;
|
2018-09-13 22:48:38 +02:00
|
|
|
|
2018-09-17 16:51:00 +02:00
|
|
|
colorPalette = [
|
2018-12-30 14:34:39 +01:00
|
|
|
colorScheme.white.dark colorScheme.red.dark colorScheme.green.dark colorScheme.yellow.dark colorScheme.blue.dark colorScheme.magenta.dark colorScheme.cyan.dark colorScheme.black.dark
|
|
|
|
|
colorScheme.white.light colorScheme.red.light colorScheme.green.light colorScheme.yellow.light colorScheme.blue.light colorScheme.magenta.light colorScheme.cyan.light colorScheme.black.light
|
2018-09-17 16:51:00 +02:00
|
|
|
];
|
|
|
|
|
}
|