diff -r 72076eea3392 -r 615b8b2e9457 config.arg.h
--- a/config.arg.h	Fri Aug 25 18:05:18 2006 +0200
+++ b/config.arg.h	Fri Aug 25 18:14:55 2006 +0200
@@ -10,7 +10,7 @@
 #define FLOATSYMBOL		"><>"
 #define TILESYMBOL		"[]="
 
-#define FONT			"-*-terminus-medium-*-*-*-14-*-*-*-*-*-iso10646-*"
+#define FONT			"-*-terminus-medium-*-*-*-12-*-*-*-*-*-iso10646-*"
 #define SELBGCOLOR		"#333366"
 #define SELFGCOLOR		"#eeeeee"
 #define NORMBGCOLOR		"#333333"