guidoschmidt FIX/config/appearance/ligatures: fix ligatures using prettify-symbols… …