diff -r 4efe9a6dd212 -r 56a167b31a7f etc/settings
--- a/etc/settings	Wed Oct 21 17:53:26 2015 +0200
+++ b/etc/settings	Wed Oct 21 18:00:12 2015 +0200
@@ -124,7 +124,6 @@
 ### Rendering information
 ###
 
-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"