diff -r a7a8496d3bfc -r 51b8043a8cf5 etc/settings
--- a/etc/settings	Mon Jun 20 22:48:41 2011 +0200
+++ b/etc/settings	Mon Jun 20 23:19:38 2011 +0200
@@ -188,7 +188,7 @@
 ### Rendering information
 ###
 
-ISABELLE_FONT_FAMILY="IsabelleText"
+ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"
 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"