@BigB Hi, I doubt customizing font is a possibility and even less choosing where it applies. But I guess you can try and replace the current font by the one of your choice. I have no clue where it is stored, but substituting the current font file with yours should be possible as a hack.