Interface font: use auto-detection instead of preference

Controlling this via preference was only ever meant as a stopgap until I
had more robust font handling capabilities.