Changing font size.

This commit is contained in:
Patric Plattner 2020-06-15 12:43:51 +02:00
parent db2da1b748
commit 707dfaa101

View file

@ -5,8 +5,8 @@
* *
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
*/ */
static char *font = "mono:pixelsize=18:antialias=true:autohint=true"; static char *font = "LiberationMono:pixelsize=20:antialias=true:autohint=true";
static char *font2[] = { "LiberationMono:pixelsize=18:antialias=true:autohint=true" }; static char *font2[] = { "mono:pixelsize=20:antialias=true:autohint=true" };
static int borderpx = 2; static int borderpx = 2;
/* /*