home: upgrade fonts to nerdfonts
This commit is contained in:
parent
f03b8d39db
commit
00c44ba7ed
9 changed files with 17 additions and 16 deletions
|
@ -15,10 +15,10 @@ in {
|
|||
settings = {
|
||||
main = {
|
||||
term = "xterm-256color";
|
||||
font = "JetBrains Mono:style=Medium:size=15";
|
||||
font-bold = "JetBrains Mono:style=Bold:size=15";
|
||||
font-italic = "JetBrains Mono:style=Italic:size=15";
|
||||
font-bold-italic = "JetBrains Mono:style=Bold Italic:size=15";
|
||||
font = "JetBrainsMono Nerd Font:style=Medium:size=15";
|
||||
font-bold = "JetBrainsMono Nerd Font:style=Bold:size=15";
|
||||
font-italic = "JetBrainsMono Nerd Font:style=Italic:size=15";
|
||||
font-bold-italic = "JetBrainsMono Nerd Font:style=Bold Italic:size=15";
|
||||
dpi-aware = "yes";
|
||||
initial-window-size-pixels = "1200x600";
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue