diff options
| author | Franck Cuny <franck@fcuny.net> | 2023-05-29 11:18:46 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2023-05-29 11:18:46 -0700 |
| commit | 16a5e1812031433f711371db802d972529ced7d0 (patch) | |
| tree | f260ae93b6197bc96613bf8eab9945453b8956e8 /home/profiles/firefox.nix | |
| parent | profiles/default: fix the GC configuration (diff) | |
| download | infra-16a5e1812031433f711371db802d972529ced7d0.tar.gz | |
workstation: more tweaks for the UI and fonts
Diffstat (limited to 'home/profiles/firefox.nix')
| -rw-r--r-- | home/profiles/firefox.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/home/profiles/firefox.nix b/home/profiles/firefox.nix index e74aaea..c551cee 100644 --- a/home/profiles/firefox.nix +++ b/home/profiles/firefox.nix @@ -43,8 +43,8 @@ "privacy.trackingprotection.enabled" = true; "privacy.trackingprotection.socialtracking.enabled" = true; - "font.name.monospace.x-western" = "Source Code Pro"; - "font.name.sans-serif.x-western" = "DejaVu Sans"; + "font.name.monospace.x-western" = "JetBrain Mono"; + "font.name.sans-serif.x-western" = "DejaVu Sans Serif"; "font.name.serif.x-western" = "DejaVu Serif"; }; |