From 31aaa7c701bffa4722797bd5dd9a4b376c10d44d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A1clav=20Uruba?= Date: Fri, 7 Jan 2022 19:45:40 +0100 Subject: [PATCH] edit font size --- config.def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.def.h b/config.def.h index c09c68a..ec61570 100644 --- a/config.def.h +++ b/config.def.h @@ -5,7 +5,7 @@ * * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html */ -static char *font = "JetBrains Mono Nerd Font:pixelsize=14:antialias=true:autohint=true"; +static char *font = "JetBrains Mono Nerd Font:size=12:antialias=true:autohint=true"; static int borderpx = 2; /*