2022-08-05 19:42:57 +00:00
|
|
|
background #1d1f21
|
2023-03-03 19:33:30 +00:00
|
|
|
background_opacity 0.75
|
2022-08-05 19:42:57 +00:00
|
|
|
|
|
|
|
|
font_family FiraCode Nerd Font
|
|
|
|
|
bold_font FiraCode Nerd Font Bold
|
|
|
|
|
italic_font FiraCode Nerd Font Italic
|
|
|
|
|
bold_italic_font FiraCode Nerd Font Bold Italic
|
|
|
|
|
|
|
|
|
|
font_size 16
|
