fix(foot): fix font size
All checks were successful
Discord / discord commits (push) Has been skipped
All checks were successful
Discord / discord commits (push) Has been skipped
This commit is contained in:
parent
86e37578c7
commit
d6fb8583dc
1 changed files with 1 additions and 2 deletions
|
@ -38,9 +38,8 @@ in {
|
||||||
|
|
||||||
# FIXME: Figure out font size with Dpi-aware
|
# FIXME: Figure out font size with Dpi-aware
|
||||||
font = "JetBrainsMono Nerd Font:size=${
|
font = "JetBrainsMono Nerd Font:size=${
|
||||||
lib.strings.floatToString (fontSize - 5)
|
lib.strings.floatToString fontSize
|
||||||
}";
|
}";
|
||||||
dpi-aware = true;
|
|
||||||
pad = "0x10";
|
pad = "0x10";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue