Different Font Sizes in Edtor and Output Window

No, there's currently no way to do this. You're welcome however to file an enhancement request on our Github issue tracker: