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