From 0b6313671c72aa81bb901764a15b38b4b9010897 Mon Sep 17 00:00:00 2001
From: Daniel Lundin <dln@arity.se>
Date: Mon, 6 Jan 2025 19:03:55 +0100
Subject: [PATCH] ghostty: reduce font size a bit

---
 home/common/ghostty.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/home/common/ghostty.nix b/home/common/ghostty.nix
index a05ca7f..99b7338 100644
--- a/home/common/ghostty.nix
+++ b/home/common/ghostty.nix
@@ -12,7 +12,7 @@
       enableFishIntegration = true;
       package = inputs.ghostty.packages.${pkgs.system}.default;
       settings = {
-        font-size = 14;
+        font-size = 12.5;
         font-family = "TX-02";
         font-family-bold-italic = "Monaspace Xenon";
         font-style-bold = "Bold";
@@ -34,7 +34,7 @@
         gtk-single-instance = true;
         gtk-tabs-location = "hidden";
         gtk-titlebar = false;
-        window-padding-x = 12;
+        window-padding-x = 0;
         window-padding-y = 0;
         window-padding-balance = true;
         window-padding-color = "extend";