2022-05-15 23:32:21 +02:00
|
|
|
{ theme, lib, pkgs }:
|
|
|
|
|
|
|
|
pkgs.writeTextFile (rec {
|
2022-05-23 12:35:37 +02:00
|
|
|
name = "colors.kak";
|
|
|
|
destination = "/share/kak/colors/${name}";
|
|
|
|
text = with theme; ''
|
2022-05-15 23:32:21 +02:00
|
|
|
|
2022-05-23 12:35:37 +02:00
|
|
|
face global comment rgb:828282
|
2022-05-15 23:32:21 +02:00
|
|
|
|
2022-05-23 12:35:37 +02:00
|
|
|
face global value rgb:${blue.normal}
|
2022-05-15 23:32:21 +02:00
|
|
|
face global string rgb:${green.normal}
|
|
|
|
face global keyword rgb:${cyan.normal}
|
|
|
|
face global operator rgb:${cyan.normal}
|
|
|
|
face global function rgb:${cyan.normal}
|
|
|
|
face global builtin rgb:${orange.normal}
|
|
|
|
face global module rgb:${yellow.normal}
|
|
|
|
face global meta rgb:${green.bright}
|
|
|
|
face global type rgb:${blue.bright}
|
|
|
|
|
2022-05-23 12:35:37 +02:00
|
|
|
face global LineNumbers rgb:${background.slight}
|
|
|
|
face global BufferPadding rgb:${background.slight}
|
|
|
|
face global LineNumberCursor rgb:${foreground.primary}
|
|
|
|
face global crosshairs_line "default,rgb:212121"
|
|
|
|
face global MenuForeground "default,rgb:${blue.normal}"
|
|
|
|
face global MenuBackground "default,rgb:313131"
|
2022-05-16 17:57:58 +02:00
|
|
|
|
2022-05-23 12:35:37 +02:00
|
|
|
'';
|
2022-05-15 23:32:21 +02:00
|
|
|
})
|