/* the system font: no font chosen in Settings → Appearance */