Possibility to change text font.

[SergioXp]

Hi everyone,

Is it possible to put the option to change the text font? if you have a little font size is very hard to read.

Thanks!

[kjonescertinia]

We should be picking that font size up from VSCode settings so you can adjust that way but maybe we can also add a way to override as well, perhaps a specific setting might be a useful option for that so your override can be saved.

[lcottercertinia]

@SergioXp The font size is inherited from the vscode default (which you can change) but we also found a couple of places we were not scaling the font correctly from this default. This should be fully resolved in the v1.6 release.
#239