Revert "Make Terminus the default font"
This reverts commit 1e83c4bf8b
.
This commit is contained in:
parent
9cdb4461a4
commit
598989f2ad
2 changed files with 2 additions and 4 deletions
|
@ -27,11 +27,9 @@ in
|
|||
font = {
|
||||
size = toInt "${theme.fonts.monospace.size}";
|
||||
|
||||
bold.style = "Regular";
|
||||
normal.family = "${theme.fonts.monospace.name}";
|
||||
|
||||
italic.style = "Bold";
|
||||
normal.style = "Bold";
|
||||
|
||||
offset.y = 12;
|
||||
glyph_offset.y = 6;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue