1
0
mirror of https://github.com/kmein/niveum synced 2026-03-16 10:11:08 +01:00

chore: resize fonts

This commit is contained in:
2020-11-17 14:05:52 +01:00
parent a96c0d9ab3
commit 0e7652ff46
2 changed files with 2 additions and 2 deletions

View File

@@ -13,7 +13,7 @@ let
}; };
font = { font = {
normal.family = "Monospace"; normal.family = "Monospace";
size = 8; size = 6;
}; };
key_bindings = [ key_bindings = [
{ {

View File

@@ -8,7 +8,7 @@ in {
settings = { settings = {
global = { global = {
transparency = 10; transparency = 10;
font = "Monospace 7"; font = "Monospace 8";
geometry = "200x5-30+20"; geometry = "200x5-30+20";
frame_color = colours.foreground; frame_color = colours.foreground;
follow = "mouse"; follow = "mouse";