From 76605d6927add10459e32200681301172b0a260e Mon Sep 17 00:00:00 2001 From: pro100ton Date: Fri, 31 Jan 2025 19:42:06 +0300 Subject: [PATCH] Change font to JetBrains Nerd --- kitty/kitty.conf | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/kitty/kitty.conf b/kitty/kitty.conf index e371ace..a49ba5c 100644 --- a/kitty/kitty.conf +++ b/kitty/kitty.conf @@ -6,12 +6,17 @@ include ./themes/mocha.conf #: kitty has very powerful font management. You can configure #: individual font faces and even specify special fonts for particular #: characters. +# -font_family RobotoMono Nerd Font +font_family JetBrainsMono Nerd Font Mono +bold_font JetBrainsMono Nerd Font Mono Extra Bold +bold_italic_font JetBrainsMono Nerd Font Mono Extra Bold Italic + +# font_family RobotoMono Nerd Font font_style Regular -bold_font auto +# bold_font auto italic_font auto -bold_italic_font auto +# bold_italic_font auto #: You can specify different fonts for the bold/italic/bold-italic #: variants. The easiest way to select fonts is to run the `kitten @@ -22,7 +27,7 @@ bold_italic_font auto #: . -font_size 12.0 +font_size 16.0 #: Font size (in pts).