Rather than using RadioButtons to represent the font use-system-default
preference, this commit switches to using a CheckButton with sensitivity
setting. We also set the default font, and set a mnemonic widget for the
custom font label.