font size customizable

Hello,

At this point only the editor font size is customizable, Could you do the same for the navigator?

Regards,

Christophe