[bori5]

That helps at the expense of everything else now borked, but I wonder what is so hard about having a per app font setting ?