|
|
@ -53,21 +53,23 @@ scrolling: |
|
|
# DEPRECATED |
|
|
# DEPRECATED |
|
|
# faux_multiplier: 3 |
|
|
# faux_multiplier: 3 |
|
|
|
|
|
|
|
|
|
|
|
tabspaces: 4 |
|
|
|
|
|
|
|
|
# Font configuration (changes require restart) |
|
|
# Font configuration (changes require restart) |
|
|
font: |
|
|
font: |
|
|
# Normal (roman) font face |
|
|
# Normal (roman) font face |
|
|
normal: |
|
|
normal: |
|
|
family: Hack Nerd Font |
|
|
|
|
|
|
|
|
family: Hack |
|
|
style: Regular |
|
|
style: Regular |
|
|
|
|
|
|
|
|
# Bold font face |
|
|
# Bold font face |
|
|
bold: |
|
|
bold: |
|
|
family: Hack Nerd Font |
|
|
|
|
|
|
|
|
family: Hack |
|
|
style: Bold |
|
|
style: Bold |
|
|
|
|
|
|
|
|
# Italic font face |
|
|
# Italic font face |
|
|
italic: |
|
|
italic: |
|
|
family: Hack Nerd Font |
|
|
|
|
|
|
|
|
family: Hack |
|
|
style: Italic |
|
|
style: Italic |
|
|
|
|
|
|
|
|
# Point size |
|
|
# Point size |
|
|
|
Marc
4 years ago