edit font size

This commit is contained in:
Václav Uruba 2022-01-07 19:45:40 +01:00
parent d01ce8ce38
commit 31aaa7c701
Signed by: uruba
GPG Key ID: 9D8E987C4B2E1E9C

View File

@ -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;
/*