From efdb559c2f39bc1b3a1b3057a6d9dfa55b6fb401 Mon Sep 17 00:00:00 2001
From: xenia <xenia.agda@gmail.com>
Date: Sun, 29 Oct 2023 19:30:44 +0100
Subject: [PATCH] Small font size in alacritty for linux

---
 home/alacritty/alacritty.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/home/alacritty/alacritty.nix b/home/alacritty/alacritty.nix
index 1355cefc..4f785106 100644
--- a/home/alacritty/alacritty.nix
+++ b/home/alacritty/alacritty.nix
@@ -40,6 +40,8 @@ case $CHOICE in
         ;;
 esac";
 
+  font-size = if pkgs.stdenv.isLinux then 8 else 15;
+
   base-cfg = {
     window = {
       padding.x = 0;
@@ -50,7 +52,7 @@ esac";
     mouse.hide_when_typing = true;
     font = {
       normal.family = "SAX2";
-      size = 15;
+      size = font-size;
     };
     colors.primary = {
       background = "#282828";