[MlMt] Resetting fonts to default

[John Cooper]

Benny Kjær Nielsen wrote (at 5:27 on 9 Oct 2015):

> On 8 Oct 2015, at 21:39, John Cooper wrote:
>
>> How can I set all the font settings back to their defaults?
>
> These are all the font related settings I can think of. Paste in a 
> Terminal window:

Thanks. I wanted the interface to better match El Capitan's new system 
font, but it's unavailable in the Fonts pane, so deleting these 
preferences was the only way to do it.