From e1979d5630f35957963d4751813a396e51386ec2 Mon Sep 17 00:00:00 2001 From: Marco Thomas Date: Thu, 28 Mar 2024 10:46:06 +0100 Subject: [PATCH] kitty: decrease terminal size --- files/kitty/.config/kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/files/kitty/.config/kitty/kitty.conf b/files/kitty/.config/kitty/kitty.conf index 0c7699a..586839e 100644 --- a/files/kitty/.config/kitty/kitty.conf +++ b/files/kitty/.config/kitty/kitty.conf @@ -24,7 +24,7 @@ font_family JetBrainsMono Nerd Font #: italic_font Operator Mono Book Italic #: bold_italic_font Operator Mono Medium Italic -font_size 13.0 +font_size 10 #: Font size (in pts)