Nerd fonts

This commit is contained in:
Geoffrey Frogeye 2021-07-04 09:52:16 +02:00
parent 72e54fd8f7
commit 68298bf3f1
Signed by: geoffrey
GPG key ID: C72403E7F82E6AD8
8 changed files with 30 additions and 24 deletions

View file

@ -105,50 +105,50 @@ window:
# Font configuration
font:
# Normal (roman) font face
#normal:
normal:
# Font family
#
# Default:
# - (macOS) Menlo
# - (Linux/BSD) monospace
# - (Windows) Consolas
#family: monospace
family: DejaVuSansMono Nerd Font Mono
# The `style` can be specified to pick a specific face.
#style: Regular
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: DejaVuSansMono Nerd Font Mono
# The `style` can be specified to pick a specific face.
#style: Bold
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: DejaVuSansMono Nerd Font Mono
# The `style` can be specified to pick a specific face.
#style: Italic
style: Oblique
# Bold italic font face
#bold_italic:
bold_italic:
# Font family
#
# If the bold italic family is not specified, it will fall back to the
# value specified for the normal font.
#family: monospace
family: DejaVuSansMono Nerd Font Mono
# The `style` can be specified to pick a specific face.
#style: Bold Italic
style: Bold Oblique
# Point size
size: 12.0