nixos-old/variables.nix

86 lines
1.8 KiB
Nix
Raw Normal View History

2023-02-22 11:56:15 +00:00
{ config, pkgs, lib, ... }:
with lib; {
options = {
2023-02-22 11:56:15 +00:00
font.mono = mkOption {
type = types.str;
2023-02-22 11:56:15 +00:00
default = "CaskaydiaCove Nerd Font Mono";
};
font.regular = mkOption {
type = types.str;
default = "CaskaydiaCove Nerd Font Regular";
};
color.background = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "303446";
2023-02-22 11:56:15 +00:00
};
color.foreground = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "C6D0F5";
2023-02-22 11:56:15 +00:00
};
color.black = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "51576D";
2023-02-22 11:56:15 +00:00
};
color.black_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "626880";
2023-02-22 11:56:15 +00:00
};
color.red = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "E78284";
2023-02-22 11:56:15 +00:00
};
color.red_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "E78284";
2023-02-22 11:56:15 +00:00
};
color.green = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "A6D189";
2023-02-22 11:56:15 +00:00
};
color.green_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "A6D189";
2023-02-22 11:56:15 +00:00
};
color.yellow = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "E5C890";
2023-02-22 11:56:15 +00:00
};
color.yellow_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "E5C890";
2023-02-22 11:56:15 +00:00
};
color.blue = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "8CAAEE";
2023-02-22 11:56:15 +00:00
};
color.blue_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "8CAAEE";
2023-02-22 11:56:15 +00:00
};
color.magenta = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "F4B8E4";
2023-02-22 11:56:15 +00:00
};
color.magenta_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "F4B8E4";
2023-02-22 11:56:15 +00:00
};
color.cyan = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "81C8BE";
2023-02-22 11:56:15 +00:00
};
color.cyan_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "81C8BE";
2023-02-22 11:56:15 +00:00
};
color.white = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "B5BFE2";
2023-02-22 11:56:15 +00:00
};
color.white_dull = mkOption {
type = types.str;
2023-02-28 12:16:46 +00:00
default = "A5ADCE";
};
};
2023-02-22 11:56:15 +00:00
}