Need to be able to change Navigator font size. BUG

It is ridiculous that a modern GUI doesn’t allow changing font size.
On Windows 11, it doesn’t behave properly with screen scaling.
That seems to be the case for Linux, going back years.
I have to shove my face into the screen to be able to read anything.

type or paste **code** here

This website's preferences let me change the font size.

The editor says I can change the **font**-*weight* in this message (though it lies)

I would ask for help, but there isn’t anyone who can help or cares to help.

At this point, this is just a bug.