2023-04-14 20:51:52 +00:00
|
|
|
# Fonts and reasonable font-rendering.
|
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
fonts = {
|
|
|
|
fonts = with pkgs; [
|
|
|
|
corefonts
|
|
|
|
dejavu_fonts
|
|
|
|
inter
|
|
|
|
jetbrains-mono
|
2023-08-13 16:18:11 +00:00
|
|
|
(nerdfonts.override { fonts = [ "FiraCode" "FiraMono" "Iosevka" ]; })
|
2023-04-14 20:51:52 +00:00
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
|
|
|
];
|
|
|
|
|
|
|
|
fontconfig = {
|
|
|
|
hinting.enable = true;
|
|
|
|
subpixel.lcdfilter = "light";
|
|
|
|
|
|
|
|
defaultFonts = {
|
2023-08-13 16:18:11 +00:00
|
|
|
monospace = [ "Iosevka" ];
|
2023-04-14 20:51:52 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|