On Jul 23, 2017, at 11:44 PM, Miller Puckette <msp@ucsd.edu> wrote:

Is this compatible with leaving the default font weight bold?  That also
corrects the too-thin text.  I find in general having default font-weight
bold makes it possible to read everything from further away and/or in more
crowded patches.

cheers
Miller