--- src/style.c.orig	Tue Sep 19 09:41:02 2000
+++ src/style.c	Mon Oct 30 23:11:36 2000
@@ -70,9 +70,9 @@
 		}
 
 		/* Worst case scenario */
-		font->gdk_font = gnome_display_font_get_gdk_font (font->dfont);
+		font->gdk_font = gdk_fontset_load ("-misc-fixed-medium-r-normal--14-*-*-*-*-*-*-*");
 		if (font->gdk_font == NULL)
-			font->gdk_font = gdk_font_load ("fixed");
+			font->gdk_font = gdk_fontset_load ("-misc-fixed-medium-r-normal--14-*-*-*-*-*-*-*");
 		else
 			gdk_font_ref (font->gdk_font);