|
|
@ -28,7 +28,7 @@ font: |
|
|
|
# Normal (roman) font face |
|
|
|
# Normal (roman) font face |
|
|
|
normal: |
|
|
|
normal: |
|
|
|
|
|
|
|
|
|
|
|
family: monospace |
|
|
|
family: JetBrainsMono Nerd Font Mono |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
style: Regular |
|
|
|
style: Regular |
|
|
@ -36,7 +36,7 @@ font: |
|
|
|
# Bold font face |
|
|
|
# Bold font face |
|
|
|
bold: |
|
|
|
bold: |
|
|
|
|
|
|
|
|
|
|
|
family: monospace |
|
|
|
family: JetBrainsMono Nerd Font Mono |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
style: Bold |
|
|
|
style: Bold |
|
|
@ -49,7 +49,7 @@ font: |
|
|
|
# Bold italic font face |
|
|
|
# Bold italic font face |
|
|
|
bold_italic: |
|
|
|
bold_italic: |
|
|
|
|
|
|
|
|
|
|
|
family: monospace |
|
|
|
family: JetBrainsMono Nerd Font Mono |
|
|
|
|
|
|
|
|
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
# The `style` can be specified to pick a specific face. |
|
|
|
style: Bold Italic |
|
|
|
style: Bold Italic |
|
|
@ -70,11 +70,11 @@ draw_bold_text_with_bright_colors: true |
|
|
|
colors: |
|
|
|
colors: |
|
|
|
# Default colors |
|
|
|
# Default colors |
|
|
|
primary: |
|
|
|
primary: |
|
|
|
background: '0x111015' |
|
|
|
background: '0x0c1115' |
|
|
|
foreground: '0xfefefe' |
|
|
|
foreground: '0xefefff' |
|
|
|
|
|
|
|
|
|
|
|
selection: |
|
|
|
selection: |
|
|
|
text: '0xbbc2cf' |
|
|
|
text: '0x000000' |
|
|
|
|
|
|
|
|
|
|
|
# Normal colors |
|
|
|
# Normal colors |
|
|
|
normal: |
|
|
|
normal: |
|
|
|