2024-02-17 11:18:54 +01:00
|
|
|
[font]
|
2024-03-07 10:26:49 +01:00
|
|
|
size = 12
|
2024-02-17 11:18:54 +01:00
|
|
|
|
|
|
|
|
[font.bold]
|
|
|
|
|
style = "Bold"
|
|
|
|
|
|
|
|
|
|
[font.bold_italic]
|
|
|
|
|
style = "Bold Italic"
|
|
|
|
|
|
|
|
|
|
[font.italic]
|
|
|
|
|
style = "Italic"
|
|
|
|
|
|
|
|
|
|
[font.normal]
|
2024-03-15 16:02:52 +01:00
|
|
|
family = "DejaVuSansM Nerd Font Mono"
|
2024-02-17 11:18:54 +01:00
|
|
|
style = "Regular"
|
|
|
|
|
|
|
|
|
|
[window]
|
|
|
|
|
decorations = "none"
|
|
|
|
|
opacity = 0.9
|
