2023-05-17 04:30:11 +00:00
|
|
|
font:
|
|
|
|
|
size: 15
|
|
|
|
|
normal:
|
2023-09-09 00:50:02 +00:00
|
|
|
family: "Monofur Nerd Font Mono"
|
2023-05-17 04:30:11 +00:00
|
|
|
style: Regular
|
|
|
|
|
|
|
|
|
|
bold:
|
2023-09-09 00:50:02 +00:00
|
|
|
family: "Monofur Nerd Font Mono"
|
2023-05-17 04:30:11 +00:00
|
|
|
style: Bold
|
|
|
|
|
|
|
|
|
|
italic:
|
2023-09-09 00:50:02 +00:00
|
|
|
family: "Monofur Nerd Font Mono"
|
2023-05-17 04:30:11 +00:00
|
|
|
style: Italic
|
