diff options
| author | Christoph Cullmann <christoph@cullmann.io> | 2024-08-31 18:26:13 +0200 |
|---|---|---|
| committer | Christoph Cullmann <christoph@cullmann.io> | 2024-08-31 18:26:13 +0200 |
| commit | d4b8aca032b2352df9af798ad1c229c7a0376045 (patch) | |
| tree | 6d1eeaec6aa7d09004f870d632b36fc2bc5014ac /share | |
| parent | 45895cf5115d69f1cccb6572f6f4ff3d1eb73da3 (diff) | |
use Roboto
Diffstat (limited to 'share')
| -rw-r--r-- | share/common.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/share/common.nix b/share/common.nix index 5f16501..64ed3cb 100644 --- a/share/common.nix +++ b/share/common.nix @@ -418,7 +418,6 @@ in nerdfonts # font families with good unicode coverage as fallback - ibm-plex noto-fonts noto-fonts-cjk-sans noto-fonts-cjk-serif @@ -436,9 +435,9 @@ in # use some proper default fonts defaultFonts = { emoji = [ "Noto Color Emoji" ]; - monospace = [ "MonoLisa" "IBM Plex Mono" "Noto Sans Mono" ]; - sansSerif = [ "IBM Plex Sans" "Noto Sans" ]; - serif = [ "IBM Plex Serif" "Noto Serif" ]; + monospace = [ "MonoLisa" "Noto Sans Mono" ]; + sansSerif = [ "Roboto" "Noto Sans" ]; + serif = [ "Roboto Serif" "Noto Serif" ]; }; # don't look like ancient X11 |