ContributionsMost RecentMost LikesSolutionsfont size customizable Hello, At this point only the editor font size is customizable, Could you do the same for the navigator? Regards, Christophe
