# Font configuration (changes require restart)
font:
  # The normal (roman) font face to use.
  normal:
    family: IBM Plex Mono
    style: Regular

  bold:
    family: IBM Plex Mono
    style: Bold

  italic:
    family: IBM Plex Mono
    style: Italic

# Font configuration (changes require restart)
font:
  size: 12.0
  # The normal (roman) font face to use.
  normal:
    family: IBM Plex Mono
    style: Regular

  bold:
    family: IBM Plex Mono
    style: Bold

  italic:
    family: IBM Plex Mono
    style: Italic

Change the terminal font size
Change the terminal font size
