2020-08-04 01:46:48 +04:00
|
|
|
{ config, lib, pkgs, inputs, ... }:
|
2019-08-27 23:41:02 +04:00
|
|
|
with lib;
|
2020-08-10 01:17:22 +04:00
|
|
|
# let
|
|
|
|
# fromBase16 = base16scheme:
|
|
|
|
# builtins.mapAttrs (_: v: "#" + v) {
|
|
|
|
# bg = base00-hex;
|
|
|
|
# # fg = base07-hex;
|
|
|
|
# fg = base05-hex;
|
|
|
|
# };
|
|
|
|
# in
|
|
|
|
{
|
|
|
|
# options = {
|
|
|
|
# themes = {
|
|
|
|
# colors = mkOption {
|
|
|
|
# description =
|
|
|
|
# "Set of colors from which the themes for various applications will be generated";
|
|
|
|
# type = with types;
|
|
|
|
# submodule {
|
2019-08-27 23:41:02 +04:00
|
|
|
|
2020-08-10 01:17:22 +04:00
|
|
|
# options = let
|
|
|
|
# colors = (builtins.genList (x: (toString x) ) 15);
|
|
|
|
# in {
|
|
|
|
# bg = types.str;
|
|
|
|
# fg = types.str;
|
|
|
|
# } // builtins.listToAttrs (builtins.map (x: {
|
|
|
|
# name = "base${x}";
|
|
|
|
# value = types.str;
|
|
|
|
# }) colors);
|
|
|
|
# };
|
2020-08-07 23:27:49 +04:00
|
|
|
# };
|
2020-08-10 01:17:22 +04:00
|
|
|
# };
|
2020-08-07 23:27:49 +04:00
|
|
|
# };
|
2020-08-10 01:17:22 +04:00
|
|
|
config.themes.base16 = {
|
|
|
|
enable = true;
|
2020-08-11 02:38:02 +04:00
|
|
|
customScheme = {
|
|
|
|
enable = true;
|
|
|
|
path = "${inputs.base16-horizon-scheme}/horizon-dark.yaml";
|
|
|
|
};
|
|
|
|
# scheme = "gruvbox";
|
|
|
|
# variant = "gruvbox-dark-medium";
|
2020-08-10 01:17:22 +04:00
|
|
|
extraParams = {
|
|
|
|
font = "IBM Plex Sans";
|
|
|
|
fontMono = "IBM Plex Mono";
|
|
|
|
fontSerif = "IBM Plex Serif";
|
2020-08-15 19:36:16 +04:00
|
|
|
powerlineFont = "IBM Plex Mono for Powerline";
|
|
|
|
|
2020-08-10 01:17:22 +04:00
|
|
|
fallbackFont = "Roboto";
|
|
|
|
fallbackFontMono = "Roboto Mono";
|
|
|
|
fallbackFontSerif = "Roboto Slab";
|
2020-08-15 19:36:16 +04:00
|
|
|
|
2020-08-11 02:38:02 +04:00
|
|
|
iconFont = "Font Awesome 5 Free";
|
|
|
|
fallbackIcon = "Material Icons";
|
2020-08-15 19:36:16 +04:00
|
|
|
|
|
|
|
normalFontSize = "12";
|
|
|
|
headerFontSize = "14";
|
|
|
|
smallFontSize = "11";
|
|
|
|
microFontSize = "10";
|
|
|
|
minimalFontSize = "8";
|
|
|
|
|
2020-08-11 02:38:02 +04:00
|
|
|
iconsTheme = "Papirus-Dark";
|
2020-08-10 01:17:22 +04:00
|
|
|
};
|
2019-08-27 23:41:02 +04:00
|
|
|
};
|
2020-08-10 01:17:22 +04:00
|
|
|
}
|