2023-06-30 20:59:11 +02:00
|
|
|
{ pkgs, config, lib, ... }:
|
|
|
|
with lib;
|
|
|
|
{
|
|
|
|
options.components.gui.style.enable = mkOption {
|
|
|
|
type = lib.types.bool;
|
|
|
|
default = config.components.gui.enable;
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf (config.components.gui.style.enable) {
|
|
|
|
|
2023-07-01 00:20:03 +02:00
|
|
|
stylix.base16Scheme = "${pkgs.base16-schemes}/share/themes/gruvbox-light-medium.yaml";
|
|
|
|
|
|
|
|
stylix.fonts = {
|
2023-07-02 21:25:49 +02:00
|
|
|
serif = {
|
|
|
|
package = pkgs.ubuntu_font_family;
|
|
|
|
name = "Ubuntu";
|
|
|
|
};
|
|
|
|
sansSerif = {
|
|
|
|
package = pkgs.ubuntu_font_family;
|
|
|
|
name = "Ubuntu";
|
|
|
|
};
|
2023-07-01 00:20:03 +02:00
|
|
|
monospace = {
|
|
|
|
package = pkgs.jetbrains-mono;
|
|
|
|
name = "JetBrains Mono";
|
2023-06-30 21:20:46 +02:00
|
|
|
};
|
2023-07-01 00:20:03 +02:00
|
|
|
emoji = {
|
|
|
|
package = pkgs.noto-fonts-emoji;
|
|
|
|
name = "Noto Color Emoji";
|
2023-06-30 21:20:46 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2023-12-08 22:47:37 +01:00
|
|
|
fonts.packages = with pkgs; [
|
2023-06-30 20:59:11 +02:00
|
|
|
|
|
|
|
corefonts
|
|
|
|
hasklig
|
|
|
|
inconsolata
|
|
|
|
source-code-pro
|
|
|
|
symbola
|
|
|
|
ubuntu_font_family
|
|
|
|
|
|
|
|
# symbol fonts
|
|
|
|
# ------------
|
|
|
|
nerdfonts
|
|
|
|
powerline-fonts
|
|
|
|
font-awesome
|
|
|
|
fira-code-symbols
|
|
|
|
jetbrains-mono
|
|
|
|
|
|
|
|
# shell font
|
|
|
|
# ----------
|
|
|
|
terminus_font
|
|
|
|
gohufont
|
|
|
|
|
|
|
|
];
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|