From 2e80ded63b78af55f18d051dac949376a25cffb3 Mon Sep 17 00:00:00 2001
From: Guanran Wang <guanran928@outlook.com>
Date: Sun, 23 Jun 2024 14:08:16 +0800
Subject: [PATCH] home/gtk: fix font on gnome

---
 nixos/profiles/common/graphical/home/fonts/default.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/nixos/profiles/common/graphical/home/fonts/default.nix b/nixos/profiles/common/graphical/home/fonts/default.nix
index 3374c11..842279e 100644
--- a/nixos/profiles/common/graphical/home/fonts/default.nix
+++ b/nixos/profiles/common/graphical/home/fonts/default.nix
@@ -26,12 +26,12 @@
   # Make GTK listen to fontconfig
   dconf.settings = {
     "org/gnome/desktop/wm/preferences" = {
-      "titlebar-font" = "Sans Bold";
+      "titlebar-font" = "Sans Bold 11";
     };
     "org/gnome/desktop/interface" = {
-      "font-name" = "Sans";
-      "document-font-name" = "Sans";
-      "monospace-font-name" = "Monospace";
+      "font-name" = "Sans 11";
+      "document-font-name" = "Sans 11";
+      "monospace-font-name" = "Monospace 10";
     };
   };