2019-04-19 15:02:05 +02:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
{
|
2019-09-25 10:11:18 +02:00
|
|
|
niveum.fonts.size = 9;
|
2019-04-19 15:02:05 +02:00
|
|
|
|
|
|
|
|
fonts = {
|
|
|
|
|
enableDefaultFonts = true;
|
2019-07-06 15:08:22 +02:00
|
|
|
enableFontDir = true;
|
2019-09-25 10:11:18 +02:00
|
|
|
fonts = with pkgs; [
|
|
|
|
|
corefonts
|
|
|
|
|
eb-garamond
|
|
|
|
|
fira
|
|
|
|
|
font-awesome-ttf
|
|
|
|
|
ibm-plex
|
|
|
|
|
inconsolata
|
|
|
|
|
iosevka
|
|
|
|
|
libertine
|
|
|
|
|
lmodern
|
|
|
|
|
noto-fonts
|
|
|
|
|
roboto
|
|
|
|
|
roboto-mono
|
|
|
|
|
roboto-slab
|
|
|
|
|
source-code-pro
|
|
|
|
|
source-serif-pro
|
|
|
|
|
ubuntu_font_family
|
2019-10-26 19:44:12 +02:00
|
|
|
gfs-fonts
|
2020-03-03 12:22:42 +01:00
|
|
|
unstable.jetbrains-mono
|
2020-04-13 11:05:21 +02:00
|
|
|
twemoji-color-font
|
|
|
|
|
joypixels
|
2019-09-25 10:11:18 +02:00
|
|
|
];
|
2020-04-22 17:42:45 +02:00
|
|
|
fontconfig.defaultFonts = {
|
|
|
|
|
monospace = [ "JetBrains Mono" ];
|
|
|
|
|
serif = [ "IBM Plex Serif" ];
|
|
|
|
|
sansSerif = [ "IBM Plex Sans" ];
|
|
|
|
|
emoji = [ "JoyPixels" ];
|
2019-09-24 23:31:22 +02:00
|
|
|
};
|
2019-04-19 15:02:05 +02:00
|
|
|
};
|
|
|
|
|
}
|
