[font] size = 11 [font.bold] family = "JetBrainsMono" style = "Bold" [font.bold_italic] family = "JetBrainsMono" style = "Bold Italic" [font.italic] family = "JetBrainsMono" style = "Italic" [font.normal] family = "JetBrainsMono" style = "Regular"