From 887825d25415c11ac177fa8bc607338ada26e93f Mon Sep 17 00:00:00 2001
From: Ryan Yin <xiaoyin_c@qq.com>
Date: Sun, 16 Jul 2023 16:48:48 +0800
Subject: [PATCH] feat: use different font size on macOS

---
 home/base/desktop/kitty.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/home/base/desktop/kitty.nix b/home/base/desktop/kitty.nix
index 2896ac60..70da8d48 100644
--- a/home/base/desktop/kitty.nix
+++ b/home/base/desktop/kitty.nix
@@ -4,7 +4,8 @@
     theme = "Catppuccin-Mocha";
     font = {
       name = "JetBrainsMono Nerd Font";
-      size = 14;
+      # use different font size on macOS
+      size = if pkgs.stdenv.isDarwin then 14 else 13;
     };
 
     settings = {