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-07-25 22:01:42 +02:00
|
|
|
face global value rgb:${green.normal}
|
2022-05-15 23:32:21 +02:00
|
|
|
face global string rgb:${green.normal}
|
2022-07-25 22:01:42 +02:00
|
|
|
face global keyword rgb:${misc.blueGrey}
|
2022-05-15 23:32:21 +02:00
|
|
|
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-06-18 10:00:51 +02:00
|
|
|
face global trait rgb:${purple.bright}
|
|
|
|
face global macro +b@meta
|
|
|
|
face global method function
|
|
|
|
face global variant rgb:${blue.normal}
|
2022-05-15 23:32:21 +02:00
|
|
|
|
2022-05-23 13:28:54 +02:00
|
|
|
face global LineNumbers rgb:${background.slight}
|
|
|
|
face global BufferPadding rgb:${background.slight}
|
|
|
|
face global LineNumberCursor rgb:${foreground.primary}
|
2022-06-18 10:00:51 +02:00
|
|
|
face global crosshairs_line default,rgb:212121
|
|
|
|
face global MenuForeground default,rgb:${blue.normal}
|
|
|
|
face global MenuBackground default,rgb:313131
|
|
|
|
|
|
|
|
face global DiagnosticWarning default,default,yellow+c
|
|
|
|
face global DiagnosticError default,default,red+c
|
|
|
|
face global DiagnosticHint default,default,green+c
|
|
|
|
|
|
|
|
face global Reference default,rgb:323232,default
|
2022-05-16 17:57:58 +02:00
|
|
|
|
2022-05-23 12:35:37 +02:00
|
|
|
'';
|
2022-05-15 23:32:21 +02:00
|
|
|
})
|