From 75f38f9edffba44cf2f18f4df89850f9c3cb1ddb Mon Sep 17 00:00:00 2001
From: musjj <72612857+musjj@users.noreply.github.com>
Date: Sun, 22 Dec 2024 18:59:32 +0700
Subject: [PATCH] stylix: use floats for font sizes

---
 stylix/fonts.nix | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/stylix/fonts.nix b/stylix/fonts.nix
index 07e10c54..74eac792 100644
--- a/stylix/fonts.nix
+++ b/stylix/fonts.nix
@@ -58,35 +58,35 @@ in {
     sizes = {
       desktop = lib.mkOption {
         description = ''
-          The font size used in window titles/bars/widgets elements of
+          The font size (in pt) used in window titles/bars/widgets elements of
           the desktop.
         '';
-        type = lib.types.ints.unsigned;
+        type = with lib.types; (either ints.unsigned float);
         default = 10;
       };
 
       applications = lib.mkOption {
         description = ''
-          The font size used by applications.
+          The font size (in pt) used by applications.
         '';
-        type = lib.types.ints.unsigned;
+        type = with lib.types; (either ints.unsigned float);
         default = 12;
       };
 
       terminal = lib.mkOption {
         description = ''
-          The font size for terminals/text editors.
+          The font size (in pt) for terminals/text editors.
         '';
-        type = lib.types.ints.unsigned;
+        type = with lib.types; (either ints.unsigned float);
         default = cfg.sizes.applications;
       };
 
       popups = lib.mkOption {
         description = ''
-          The font size for notifications/popups and in general overlay
+          The font size (in pt) for notifications/popups and in general overlay
           elements of the desktop.
         '';
-        type = lib.types.ints.unsigned;
+        type = with lib.types; (either ints.unsigned float);
         default = cfg.sizes.desktop;
       };
     };