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

feat: make fonts smaller

This commit is contained in:
2020-10-31 20:50:17 +01:00
parent 5dc561da83
commit 96cb298584
3 changed files with 3 additions and 3 deletions

View File

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

View File

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

View File

@@ -134,7 +134,7 @@ in {
}; };
bars = [{ bars = [{
workspaceButtons = false; workspaceButtons = false;
fonts = [ "Monospace 8" ]; fonts = [ "Monospace 6" ];
mode = "hide"; # "dock" mode = "hide"; # "dock"
position = "bottom"; position = "bottom";
colors = rec { colors = rec {