|
|
|
@ -6,8 +6,8 @@ env: |
|
|
|
|
|
|
|
|
|
|
|
window: |
|
|
|
window: |
|
|
|
padding: |
|
|
|
padding: |
|
|
|
x: 18 |
|
|
|
x: 16 |
|
|
|
y: 18 |
|
|
|
y: 16 |
|
|
|
|
|
|
|
|
|
|
|
# Window title |
|
|
|
# Window title |
|
|
|
title: Terminal |
|
|
|
title: Terminal |
|
|
|
@ -28,7 +28,7 @@ font: |
|
|
|
# Normal (roman) font face |
|
|
|
# Normal (roman) font face |
|
|
|
normal: |
|
|
|
normal: |
|
|
|
|
|
|
|
|
|
|
|
family: JetBrainsMono Nerd Font Mono |
|
|
|
family: Source Code Pro |
|
|
|
|
|
|
|
|
|
|
|
# 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: JetBrainsMono Nerd Font Mono |
|
|
|
family: Source Code Pro |
|
|
|
|
|
|
|
|
|
|
|
# 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: JetBrainsMono Nerd Font Mono |
|
|
|
family: Source Code Pro |
|
|
|
|
|
|
|
|
|
|
|
# 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 |
|
|
|
|
