Change which JetBrains nerd font that is used.
This commit is contained in:
parent
0c8876f3a1
commit
5629282498
2 changed files with 2 additions and 2 deletions
|
|
@ -112,7 +112,7 @@ tab_bar_margin_height 0 0
|
||||||
macos_quit_when_last_window_closed yes
|
macos_quit_when_last_window_closed yes
|
||||||
|
|
||||||
# font
|
# font
|
||||||
font_family JetBrainsMonoNL Nerd Font Mono
|
font_family JetBrainsMono Nerd Font
|
||||||
font_size 12
|
font_size 12
|
||||||
modify_font cell_height +2
|
modify_font cell_height +2
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -3,7 +3,7 @@
|
||||||
* {
|
* {
|
||||||
border: none;
|
border: none;
|
||||||
border-radius: 8px;
|
border-radius: 8px;
|
||||||
font-family: "JetBrainsMonoNL Nerd Font Mono";
|
font-family: "JetBrainsMono Nerd Font";
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
min-height: 14px;
|
min-height: 14px;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue