From ab537253348ed3b96cc7e62ce218dfa5bc9250ec Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Tue, 4 Jan 2022 16:06:34 +0100 Subject: [PATCH] Adjust font in kitty terminal Signed-off-by: Severin Kaderli --- system/.config/kitty/kitty.conf | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/system/.config/kitty/kitty.conf b/system/.config/kitty/kitty.conf index e1d9eeb..2752c0a 100644 --- a/system/.config/kitty/kitty.conf +++ b/system/.config/kitty/kitty.conf @@ -1,12 +1,12 @@ -font_family JetBrainsMono Nerd Font -bold_font JetBrainsMono Nerd Font -italic_font JetBrainsMono Nerd Font -bold_italic_font JetBrainsMono Nerd Font +font_family Iosevka +bold_font Iosevka +italic_font Iosevka +bold_italic_font Iosevka -font_size 14 +font_size 12 window_padding_width 2 -#background_opacity 0.67 +background_opacity 0.67 cursor_shape beam