[font] size = 10 [font.normal] family = "JetBrainsMono NF" [font.bold] family = "JetBrainsMono NF" [font.italic] family = "JetBrainsMono NF" [font.bold_italic] family = "JetBrainsMono NF"