Add JetBrains Mono; Fix font usage

This commit is contained in:
Tobias Reisinger 2021-04-09 22:15:26 +02:00
parent e03ae84fdf
commit 62ce510326
Signed by: serguzim
GPG key ID: 13AD60C237A28DFE
36 changed files with 13 additions and 13 deletions

View file

@ -85,39 +85,39 @@ scrolling:
# Font configuration (changes require restart)
font:
# Normal (roman) font face
#normal:
normal:
# Font family
#
# Default:monospace
#family: monospace
family: JetBrains Mono
# The `style` can be specified to pick a specific face.
#style: Regular
# Bold font face
#bold:
bold:
# Font family
#
# If the bold family is not specified, it will fall back to the
# value specified for the normal font.
#family: monospace
family: JetBrains Mono
# The `style` can be specified to pick a specific face.
#style: Bold
# Italic font face
#italic:
italic:
# Font family
#
# If the italic family is not specified, it will fall back to the
# value specified for the normal font.
#family: monospace
family: JetBrains Mono
# The `style` can be specified to pick a specific face.
#style: Italic
# Point size
size: 12.0
size: 13.0
# Offset is the extra space around each character. `offset.y` can be thought of
# as modifying the line spacing, and `offset.x` as modifying the letter spacing.