You can also set a default font size in settings.js
e.g: How to use themes with Monaco editor - #7 by Steve-Mcl