From a71ce8b2eff1613224757d7c3db539fa1af595ea Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte@vanpetegem.me>
Date: Thu, 15 Apr 2021 02:36:46 +0200
Subject: [PATCH] Differentiate font name and size

---
 configurations/themes.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/configurations/themes.nix b/configurations/themes.nix
index 0b4d372c..08769bb1 100644
--- a/configurations/themes.nix
+++ b/configurations/themes.nix
@@ -20,7 +20,8 @@
       enable = true;
       font = {
         package = pkgs.noto-fonts;
-        name = "Noto Sans 10";
+        name = "Noto Sans";
+        size = 10;
       };
       gtk2.extraConfig = ''
         gtk-cursor-theme-name = "Vanilla-DMZ"