How can I make the editor font bolder?

I'm not sure exactly (aside from looking at the source code) but @dpoulton had some instructions that I think are probably what you want.

1 Like